Sabendo que
e
determinar o valor lógico (
ou
) de cada uma das seguintes proposições:
Passo 1
O enunciado dá quatro proposições
com
,
,
,
e pede o valor lógico de . Vamos usar as definições de bicondicional e implicação.
e pede o valor lógico de
Passo 2
Calculamos primeiro o bicondicional
. Como
=V) e
=F), elas são diferentes, logo
Passo 3
Agora calculamos o bicondicional
. Como
=F) e
=V), também são diferentes, logo
Passo 4
Por fim, avaliamos a implicação
Temos antecedente
e consequente
. Na lógica proposicional,
vale
(implicação com antecedente falso é verdadeira).