negação de A ^ B
~A v ~B
negação de A ↔ B
A ou ou B
negação de A → B
A ^ ~B (mané)
negação de A ou ou B
~A ou ou B
equivalência de P → Q
~P v Q (neymar)
~Q → ~P (troca troca nega nega)
equivalência P ou ou Q
Q ou ou P
equivalência de P ↔ Q
~ (P ou ou Q)
equivalência de P v Q
~P → Q
Q v P
equivalência de ~(P → Q)
P ^ ~Q
como é a tabela-verdade do “E”?
tudo V dá V
como é a tabela-verdade do “ou”?
tudo F dá F
como é a tabela-verdade do “se e somente se”?
vera fischer é falsa
.
contingência
V e F
contradição
só F
tautologia
só V