OPERADORES LÓGICOS

DEFINIÇÃO...
Conectivos Lógicos
São termos ou expressões que interligam e operam
proposições, modificando ou criando novas
proposições, cujo valor lógico será determinado Modificador Não ( ̴ ) ou ( ¬ )
pelos valores lógicos daquelas que a formam.
Conjunção e (ᴧ)
Podem ser: Disjunção ou (ᴠ)
• Modificador (Negação) ← Conectivo Unário
Condicional se...então (→)
• Conectivo Lógico ← Conectivo Binário
Bicondicional se e somente se (↔)

Disjunção Exclusiva ou...ou (ᴠ)

Tabelas-Verdade

Conjunção Condicional Disjunção Exclusiva

p q pᴧq p q p→q p q pᴠq
V V V V V V V V F
V F F V F F V F V
F V F F V V F V V
F F F Disjunção F F V Bicondicional F F F
p q pᴠq p q p↔q
V V V V V V
V F V V F F
F V V F V F
F F F F F V