Please enable JavaScript.
Coggle requires JavaScript to display documents.
EQUIVALÊNCIAS - Coggle Diagram
EQUIVALÊNCIAS
Negações de
Símbolos
é ≤
= é ≠
Equivalência
da Condicional
Nega a 1º
Mantém a 2º
A -> B = ~A ^ B
Contarrecíproca
Nega e
Inverte
A -> B = ~B -> ~A
Aparece em PROVA
Equivalência do
Se e Somente Se
A <>B = ~(A ⊻ B)
A ⊻ B = ~(A<>B)
Negação da
Condicional
Mantém a 1º
Nega a 2º
~(A -> B) = A ^ ~B
Leis de
''De Morgan"
Nega com
Chuveirinho
~(A ^ B) = ~A v ~B
~(A v B) = ~A ^ ~B