Considere que as letras P, Q e R representam proposições e os símbolos !$ \neg !$ , !$ \wedge !$ e !$ \rightarrow !$ são operadores lógicos que constroem novas proposições e significam não, e e então, respectivamente. Na lógica proposicional que trata da expressão do raciocínio por meio de proposições que são avaliadas (valoradas) como verdadeiras (V) ou falsas (F), mas nunca ambos, esses operadores estão definidos, para cada valoração atribuída às letras proposicionais, na tabela abaixo.

Suponha que P represente a proposição Hoje choveu, Q represente a proposição José foi à praia e R represente a proposição Maria foi ao comércio. Com base nessas informações e no texto, julgue os itens seguintes.

!$ \neg !$ e !$ \rightarrow !$ são operadores lógicos que significam, respectivamente, não e então, e a definição de !$ \vee !$ é dada na seguinte tabela verdade.

Considerando as informações acima e as do texto, julgue os itens que se seguem, quanto à forma de dedução.

Considere a seguinte dedução.

De acordo com a acusação, o réu roubou um carro ou roubou uma motocicleta.
O réu roubou um carro.
Portanto, o réu não roubou uma motocicleta.

Essa é uma dedução da forma II.