Suponhamos que uma questão de prova peça que construamos a tabela-verdade da proposição composta seguinte: P(p,q,r)=(p ∧ ~q)  (q v ~r). A leitura ...

Sim, podemos fazer esse exercício. Para construir a tabela-verdade da proposição composta P(p,q,r)=(p ∧ ~q) → (q v ~r), precisamos listar todas as possibilidades de valores verdade para as variáveis p, q e r e, em seguida, calcular o valor verdade da proposição para cada uma dessas combinações. | p | q | r | ~q | p ∧ ~q | q v ~r | p ∧ ~q → (q v ~r) | |---|---|---|----|--------|--------|------------------| | V | V | V | F | F | V | V | | V | V | F | F | F | V | V | | V | F | V | V | V | V | V | | V | F | F | V | V | V | V | | F | V | V | F | F | F | V | | F | V | F | F | F | V | V | | F | F | V | V | F | V | V | | F | F | F | V | F | V | V | Agora, para identificar se a proposição composta é uma tautologia ou uma contradição, precisamos verificar se ela é sempre verdadeira ou sempre falsa, independentemente dos valores das variáveis. Podemos ver que a proposição é verdadeira em todas as linhas da tabela-verdade, o que significa que ela é uma tautologia.