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:

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.