Sabendo que V(p)=V(r)=V e V(q)=V(s)=F determinar o valor lógico ( V ou F ) de cada uma das seguintes proposições:
(\sim p \rightarrow q) \rightarrow(s \rightarrow r)

Passo 1

O exercício fornece os valores lógicos V(p)=V, V(q)=F, V(r)=V e V(s)=F e pede o valor de
(\lnot p \to q)\;\to\;(s \to r).
O conteúdo aqui é lógica proposicional, em especial avaliação de negação e implicação usando tabela‐verdade.

Passo 2

Calculamos \lnot p. Como p é verdadeiro V, temos
\lnot p = F.

Passo 3

A seguir avaliamos \lnot p \to q. Com antecedente F e consequente F, a implicação é verdadeira (uma implicação com antecedente falso vale V). Logo,
\lnot p \to q = V.

Passo 4

Agora avaliamos s \to r. Como s=F e r=V, a implicação também é verdadeira. Portanto,
s \to r = V.

Passo 5

Finalmente, avaliamos
(\lnot p \to q) \to (s \to r).
Temos antecedente V e consequente V, logo a implicação final é
V \to V = V.

Resposta

V

Exercícios relacionados