ASPECTOS GERAIS

COMUTATIVIDADE DOS CONECTIVOS

EQUIVALÊNCIA
! ⋀# = # ⋀ !
= quando duas proposições têm a mesma
tabela verdade (na dúvida, construa ambas e teste!)
! ⋁# = # ⋁ !
NEGAÇÃO
= quando duas proposições têm valor lógico ! ⋁# = # ⋁ !
oposto.

! ↔ # = # ↔p

CAI MUITO!
equivalências
EQUIVALÊNCIAS DO “SE ... ENTÃO ...”
! →# = ~# →~!
= contrapositiva Condição
e negações
suficiente DECORE!
! → # = ~! ⋁# para q Inverter o sinal e
“Se p, então q" NEGAÇÕES negar ambos
~! →# = !⋁ # Condição ~ (! ⋁ #) = ~ ! ⋀ ~# ~ (!⋀ #) = ~ ! ⋁ ~ #
necessária
para p
~ (! ⋀ #) = ! → ~ q ~(! → #) = ! ⋀ ~ #

~ (! ⋁ #) = ! ↔ # ~ (! ↔ #) = ! ⋁ #

NEGAÇÃO DO “SE ... ENTÃO” ~ (! ↔ #) = ! ↔ ~ #

~ (! → #) = ! ⋀ ~ # DECORE!
~ (! ↔ #) = ! ⋀~ # ⋁ (# ⋀~ !)
p aconteceu,
mas q não! Situações em que p e q têm
valores lógicos diferentes