Estrutura Verdade se Falsidade se

p ^ q ambos forem V um dos dois for F

p v q um dos dois for V ambos forem F
p q demais casos p V e q F
p q p e q forem iguais p e q forem diferentes
~p p F p V

Conjuno (e) Disjuno ( ou) Disjuno (ou)
Inclusiva Exclusiva





Implicao (se ... ento) Bi - implicao (se e somente se)