4 - Resolução da tabela verdade de ((p∨q→r)∧(r→s))→(~s→~p)

• Proposições simples componentes: p, q, r, s.
• Nº linhas da Tabela Verdade = 2⁴ = 16 linhas.

Como a proposição é grande, vamos fazer uma pré-análise da ordem de resolução, antes de partir ao preenchimento da tabela:

1. Se houver parênteses, percorra a proposição até encontrar o primeiro “)”:

2. Volte e encontre o respectivo “(“:

3. Se dentro do parêntese houver mais de duas operações, aplique a precedência para identificar a ordem:

• Primeiro será p ∨ q, que representaremos pela letra maiúscula A, para economizar espaço na tabela.
• Depois será A → r.