Voltando para a tabela verdade, vamos agora finalizar a resolução da proposição:

((p∨q→r)∧(r→s))→(~s→~p))

Ao final, representada por:

Ao ser interpretada por meio da tabela verdade, alcançamos a seguinte resolução:

1º A

2º B

3º C

4º

5º

6º

7º D

8º

p

q

r

s

p∨q

A→r

r→s

B∧C

~s

~p

~s→~p

(B∧C) → (D)

1.

V

V

V

V

V

V

V

V

F

F

V

V

2.

V

V

V

F

V

V

F

F

V

F

F

V

3.

V

V

F

V

V

F

V

F

F

F

V

V

4.

V

V

F

F

V

F

V

F

V

F

F

V

5.

V

F

V

V

V

V

V

V

F

F

V

V

6.

V

F

V

F

V

V

F

F

V

F

F

V

7.

V

F

F

V

V

F

V

F

F

F

V

V

8.

V

F

F

F

V

F

V

F

V

F

F

V

9.

F

V

V

V

V

V

V

V

F

V

V

V

10.

F

V

V

F

V

F

F

V

V

V

V

V

11.

F

V

F

V

V

F

V

V

F

V

V

V

12.

F

V

F

F

V

F

V

F

V

V

V

V

13.

F

F

V

V

F

V

V

V

F

V

V

V

14.

F

F

V

F

F

V

F

F

V

V

V

V

15.

F

F

F

V

F

V

V

V

F

V

V

V

16.

F

F

F

F

F

V

V

V

V

V

V

V

Uma particularidade desta tabela verdade é o fato de o resultado ter obtido o valor V em todas as linhas, classificando assim a proposição ((p∨q→r)∧(r→s))→(~s→~p)) como uma Tautologia, conforme detalhamos ainda nesta Unidade.