Princípios Não são Proposições
a) Identidade: Frases Exclamativas
Proposições Uma proposição V é sempre V Interrogativas
Uma proposição F é sempre F Imperativas
Paradoxos
b) Não Contradição:
Sentença declarativa com Sentenças abertas: ab + x²
Uma proposição não pode ser V e F ao
apenas um valor lógico mesmo tempo
VERDADEIRO OU FALSO c) Terceiro excluído:
Ou é V ou F não existe outra possibilidade.
Conectivos
CONECTIVO NOME SÍMBOL
∧
LÓGICO O
E CONJUNÇÃO
∨
OU DISJUNÇÃO V
OU OU DISJUNÇÃO
EXCLUSIVA
SE ENTÃO CONDICIONAL →
SE E SOMENTE SE BI CONDICIONAL ↔
Negação
Equivalências
NOME