Digite o que você quer buscar:  
Home » Trabalhos Escolares » Matemática » Noções de lógica » Equivalência lógica
31/05/2012 17:48

Equivalência lógica

Aumentar fontes para melhor leitura Diminuir fontes para melhor leitura

15. Equivalência lógica

Definição

Há equivalência entre as proposições P e Q somente quando a bicondicional PQ for uma tautologia ou quando P e Q tiverem a mesma tabela-verdade. P ⇔ Q (P é equivalente a Q) é o símbolo que representa a equivalência lógica. 

Diferenciação dos símbolos e ⇔

O símbolo representa uma operação entre as proposições P e Q, que tem como resultado uma nova proposição PQ com valor lógico V ou F.

O símbolo representa a não ocorrência de VF e de FV na tabela-verdade P Q, ou ainda que o valor lógico de PQ é sempre V, ou então P Q é uma tautologia.

Exemplo

A tabela da bicondicional (p → q) ↔ (~q → ~p) será: 

Portanto, p q é equivalente a ~q ~p, pois estas proposições possuem a mesma tabela-verdade ou a bicondicional (p → q) ↔ (~q → ~p) é uma tautologia.

Veja a representação:

(p q) ⇔ (~q ~p)





Comente!