De acordo com o raciocínio lógico proposicional a proposição composta [p v (~q ↔ r)] → ~p é uma:

Gabarito

A

Comentário do professor

A proposição composta \(p \lor (\lnot q \leftrightarrow r) \to \lnot p\) é uma contingência porque assume valor lógico verdadeiro em algumas valorações e falso em outras.

Por exemplo, se \( \lnot q \leftrightarrow r\) for V e \(p\) for V, o antecedente \(p \lor (\lnot q \leftrightarrow r)\) é V e o consequente \(\lnot p\) é F, tornando o condicional F.

Em contraste, se \( \lnot q \leftrightarrow r\) for V e \(p\) for F, o antecedente é V e o consequente é V, fazendo o condicional V. Também, se o antecedente for F, o condicional será V.

Como há valorações que levam a V e outras a F, a proposição não é tautologia nem contradição, caracterizando-se como contingência.