As letras P, Q e R representam proposições, e os esquemas acima representam quatro formas de dedução, nas quais, a partir das duas premissas (proposições acima da linha tracejada), deduz-se a conclusão (proposição abaixo da linha tracejada). Os símbolos!$ \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 argumentação.

Se juízes fossem deuses, então juízes não cometeriam erros.
Juízes cometem erros.
Portanto, juízes não são deuses.

Essa é uma dedução da forma IV.