Disciplinas:
Algoritmos e Estrutura de Dados 2
Arquitetura de Computadores 6
Arquitetura de Software 4
Atualidades 2
Banco de Dados 2
Conhecimentos Gerais 3
Engenharia de Software 2
Governança de TI 1
Matemática 1
Noções de Informática 5
Português 10
Programação 9
Raciocínio Lógico 5
Redes de Computadores 10
Segurança da Informação 5
Sistemas Operacionais 3
Lógica Sentencial (ou Cálculo Proposicional) formaliza a estrutura lógica mais elementar do discurso matemático, definindo precisamente o significado dos conectores lógicos “não”, “e”, “ou”, “se ... então” e outros. Os símbolos lógicos utilizados são:
“¬”: negação
“ ∧”: conjunção
“ ∨”: disjunção
“?”: implicação
“=”: bi-implicação
Considere o conjunto P de duas fórmulas abaixo.
(1) Y ? X
(2) (X ? ¬Y) ∧ (¬X ? Y )
Então, a consequência lógica de P é
“¬”: negação
“ ∧”: conjunção
“ ∨”: disjunção
“?”: implicação
“=”: bi-implicação
Considere o conjunto P de duas fórmulas abaixo.
(1) Y ? X
(2) (X ? ¬Y) ∧ (¬X ? Y )
Então, a consequência lógica de P é
