Considere um argumento com as premissas P1 e P2 a seguir. P1: Raquel é boa pessoa e Ruth não é má pessoa. P2: Ruth é má pessoa ou Gustavo não é boa pessoa. Uma conclusão que torna

Gabarito

Certo

Comentário do professor

Simbolize as sentenças: \(R\): Raquel é boa pessoa; \(M\): Ruth é má pessoa; \(G\): Gustavo é boa pessoa.

A primeira premissa é \(R \land \lnot M\). Daí obtemos, diretamente, \(R\) e \(\lnot M\) como verdadeiras.

A segunda premissa é \(M \lor \lnot G\). Como já temos \(\lnot M\), a disjunção só pode ser verdadeira se \(\lnot G\) for verdadeira.

Portanto, das premissas segue \(\lnot G\) e também \(R\).

A conclusão proposta é \(\lnot R \lor \lnot G\) (ou Raquel não é boa pessoa ou Gustavo não é boa pessoa). Uma disjunção é verdadeira quando ao menos um dos disjuntos é verdadeiro.

Como já demonstramos \(\lnot G\) verdadeiro, a disjunção \(\lnot R \lor \lnot G\) é necessariamente verdadeira. Logo, a conclusão é logicamente válida.