EQUIVALENCIAS

E SE ENTÃO OU OU OU SE SOMENTE SE

E/MAS (P ^ Q)

SE ENTÃO (P  Q) ~Q  ~P ~P v Q
(Nega e (SENTOU
inverte) NEYMAR)
OU (P v Q)

OU OU (P v Q) (P v Q) ^ ~(P P  ~Q  ~P
^ Q)  Q
(Trabalho ou (Negar uma parte
viajo, MAS/E e manter a outra)
não ambos)
SE SOMENTE SE (P  Q) ^ (Q P v Q  P v ~Q
(P  Q)  P) (Negar uma
(duas parte e manter
condicionais, a outra)
uma vai e
outra vem)

NEGAÇÕES

E SE ENTÃO OU OU OU SE SOMENTE SE

E/MAS ~(P ^ Q) P  (~Q) (~P) v (~Q)

(mantem a 1ª (Nega tudo)
e nega a 2ª –
MANE)
SE ENTÃO P ^ ~Q
~(P  Q) (Mantem a
1ª e nega 2ª
– MANÉ)
OU ~(P v Q) (~P) ^ (~Q)
(Nega tudo)
OU OU ~(P v Q) (P ^ Q) v (~P ^ ~P v Q  P v ~Q P  Q 
~Q) (Mantem um e ~P ~Q
(MAMA NENE) nega outro) (Mantem tudo ou
nega tudo)
SE SOMENTE SE (P ^ ~Q) v (Q ^ ~P v ~Q  P v Q P  ~Q  ~P
~(P  Q) ~P) (Mantem tudo  Q
(MANE MANE) ou nega tudo) (Mantem um e
nega outro)
COMUTATIVIDADE:

E, OU, OU OU, SE E SOMENTE SE

QUANTIFICADORES

TODO + NENHUM (UNIVERSAIS) X ALGUM (EXISTENCIAL)