Cerrar
Tautologia
Contradição
Contingência
Antinominia
Paradoxo
Silogismo
Nomenclatura
p -> q
Condicional equivalência
Condicional
Negação
p V q
Equivalência
Lei de Morgan
Negação de conjunção e disjunção inclusiva
p <-> q
Reescrita bicondicional
Equivalência bicondicional
Disjunção exclusiva
Negação
Leis comutativas
Propriedade de absorção
Propriedade idempotente
Leis associativas
Leis distributivas
Princípio do terceiro excluído
Princípio da não contradição
Princípio da identidade
Lógica bivalente
Princípios básicos da lógica bivalente
Proposições simples ou compostas
Proposições categóricas
Proposições subalternas
Proposições contraditórias
Proposições contrárias
Proposições subcontrárias
Antônimos absolutos
(em geral não devem ser usados antônimos para negar, somente esses são aceitos)
Propriedades matemáticas
Tabela verdade
Principais proposições lógicas
