Lógica matemática: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
m Foram revertidas as edições de 105.168.0.33 para a última revisão de Hume42, de 17h25min de 28 de novembro de 2016 (UTC)
→‎Negação Conjunta e Negação Disjunta: estavam invertidos os termos
Linha 278:
 
==== Negação Conjunta e Negação Disjunta ====
A negação conjuntadisjunta é representada pelo conector ↑, significa a negação de duas proposições envolvendo o conector '''AND''' ([[NAND]]).
 
Exemplo: p ↑ q ⇔ ¬(p Λ q) ⇔ ¬p v ¬q.
 
A negação disjuntaconjunta é representada pelo conector ↓, significa a negação de duas proposições envolvendo o conector '''OR''' ([[NOR]]).
 
Exemplo: p ↓ q ⇔ ¬(p v q) ⇔ ¬p Λ ¬q.