• Proposição ((p∨q→r)∧(r→s))→(~s→~p)
Ao final, representada por: (B∧C)→(D). Veja abaixo:
Conclusão: a proposição ((p∨q→r)∧(r→s))→(~s→~p) é uma tautologia, devido ao resultado final possuir somente valores lógicos V.
É a proposição composta que será verdade para todo e qualquer valor lógico assumido por suas proposições componentes. Em uma tabela verdade, é possível identificar uma tautologia quando a coluna do resultado possui apenas verdades.
X