Você está na página 1de 1

RELAO SEMNTICA ENTRE OS CONECTIVOS LGICOS

Equivalncia entre e os conectivos , O conectivo pode ser expresso semanticamente pelos conectivos e (P Q) equivale a (P Q)

TABELA VERDADE
P V V F F Equivalncia entre e os conectivos , O conectivo pode ser expresso semanticamente pelos conectivos e . (P Q) equivale a ( P Q) Q V F V F P F F V V P v Q V F V V PQ V F V V

TABELA VERDADE
P V V F F Q V F V F P F F V V Q F V F V PvQ F V V V ( P v Q) V F F F P^Q V F F F

Equivalncia entre e os conectivos , O conectivo pode ser expresso semanticamente pelos conectivos e . (P Q) equivale a ( ( P Q) ( Q P))

TABELA VERDADE
P V V F F Q V F V F P F F V V Q F V F V P v Q V F V V Q v P V V F V (P v Q) F V F F (Q v P) F F V F (P v Q) v (Q v P) F V V F ((P v Q) v (Q v P)) V F F V PQ V F F V