Conceito de proposição. Valores lógicos
das proposições. Conectivos.
Tabela-verdade.
3. OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÕES
Negação de uma proposição. Conjugação de duas
proposições. Disjunção de duas proposições.
Proposição condicional. Proposição bicondicional.
4. TABELAS-VERDADE DE
PROPOSIÇÕES COMPOSTAS
Construção de Proposições Conjuntas. Tabela-Verdade
de Proposições Conjuntas.
5. TAUTOLOGIAS E
CONTRADIÇÕES
Definição de tautologia.
Definição de contradição.
6. EQUIVALÊNCIA LÓGICA E
IMPLICAÇÃO LÓGICA
Equivalência lógica. Propriedades da relação de equivalência
lógica. Recíproca, contrária e contrapositiva de uma proposição
condicional. Implicação lógica. Princípio de substituição.
Propriedade da implicação lógica.