Please enable JavaScript.
Coggle requires JavaScript to display documents.
EQUIVALÊNCIA
E
NEGAÇÃO, PRINCIPAIS EQUIVALÊNCIAS - Coggle Diagram
EQUIVALÊNCIA
E
NEGAÇÃO
-
NEGAÇÃO
-
PRINCIPAIS
NEGAÇÕES
¬ (P ^ Q) ≡ ¬P v ¬Q
¬ ( P v Q) ≡ ¬P ^ ¬Q
¬ (P -> Q) ≡ P ^ ¬Q
P <-> Q ≡ P ⊻ Q
¬ (Todo A é B) ≡ Algum / Pelo menos um A NÃO É B
¬ (Nenhum A é B) ≡ Algum / Pelo menos um A É B
Macetes
Negação do conectivo E (A ^ B) = nega, nega, nega (¬A v ¬B)
Negação do conectivo OU (A v B) = nega, nega, nega (¬A ^ ¬B)
Cuidado com a notação / escrita lógica, cuidado com chuveirinho
PRINCIPAIS EQUIVALÊNCIAS
-
-
-
Exemplo:
Se é goiano, é brasileiro
-
Se não é goiano, não é brasileiro
-
Se é brasileiro, é goiano
-
Se não é brasileiro, não é goiano
-
LEI DA DUPLA NEGAÇÃO
Ao negar duas vezes uma proposição, ela equivale à tabela original
-