Sabendo que os valores lógicos das proposições
e
são respectivamente
e
, determinar o valor lógico (
ou
) de cada uma das seguintes proposições:
Passo 1
O enunciado dá as proposições com valores lógicos
,
,
e pede o valor de
Vamos usar a definição de implicação (uma implicação
é falsa só quando
e
; nos demais casos é verdadeira) e a definição de conjunção.
Passo 2
Calculamos primeiro a parte esquerda:
logo
Passo 3
Agora a parte direita:
de onde
Passo 4
Por fim, avaliamos a implicação principal: