3 - Resolução da tabela verdade de p∨~r→ q∧~r

Considere agora a proposição p ∨ ~r → q ∧ ~r, que também possui variadas operações lógicas, mas não há parênteses. Observe que a ordem de precedência será seguida na íntegra:

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

*A regra de precedência não estabelece ordem entre ∨ e ∧. Se não há parênteses determinando a ordem, pode-se resolver a que primeiro aparece na proposição, que no caso acima é a disjunção. Vale ressaltar que não haveria prejuízos ao resultado final se a conjunção fosse resolvida primeiramente.

Até o momento resolvemos apenas tabelas verdades de proposições compostas por no máximo 3 proposições simples. Os próximos exemplos são de casos com mais de 3 componentes.