Suponha que
seja falso. É possível determinar os valores lógicos de
(a)
(b)
(c)
(a)
(b)
(c)
Passo 1
O enunciado está em Lógica Proposicional e pede para achar os valores lógicos de algumas fórmulas, dado que
é falsa. Para isso vamos usar a definição de implicação:
Passo 2
Da definição de implicação concluímos que
é verdadeiro e
é falso.
Passo 3
Usando esses valores:
– A conjunção é verdadeira apenas se ambos os termos forem verdadeiros. Aqui
é falso, logo
– A conjunção
– A disjunção
é falsa apenas se ambos os termos forem falsos. Aqui
é verdadeiro, logo
Passo 4
Para a implicação inversa
: ela é falsa apenas se
for verdadeiro e
for falso. Aqui
é falso, então
Resposta
(a)
(b)
(c)
(b)
(c)