Imagem de fundo

No cálculo proposicional, os operadores lógicos { ¬, ∧, ∨...

No cálculo proposicional, os operadores lógicos { ¬, ∧, ∨, →, ↔} podem ser deduzidos a partir dos operadores


A

{ ∧, ∨}


B

{ ¬, ∧)


C

{ ↔, ∨}


D

{ ↔, →}


E

{ →, ∧}