Adriana verificou que a simbologia lógica [(p v ~q) → r] pode ser representada pela proposição composta:

Gabarito

A

Comentário do professor

Condicional: a fórmula \( (p\vee\neg q)\to r \) é uma proposição do tipo "Se ..., então ...", portanto sua tradução deve iniciar com Se e concluir com então.

Identificação das sentenças: associe \(p\) a "o documento foi emitido", \(q\) a "o formulário foi preenchido" e \(r\) a "a ação foi julgada". Assim, \(\neg q\) equivale a "o formulário não foi preenchido".

Antecedente: \(p\vee\neg q\) é uma disjunção, que se expressa por "ou". Logo a parte antes do "então" deve conter "ou" entre as duas proposições.

Se o documento foi emitido ou o formulário não foi preenchido, então a ação foi julgada