Na auditoria de uma empresa, o auditor concluiu que:
“Ocorreu desvio de recursos se, e somente se, o gerente financeiro
e o presidente da empresa estiveram envolvidos nesse desvio".
Considerando que a conclusão do auditor corresponde a uma
proposição verdadeira, julgue os itens seguintes.
Considere que a proposição-conclusão do auditor possa ser escrita, simbolicamente, na forma P↔Q∧R, em que P, Q e R sejam proposições adequadamente escolhidas. Nesse caso, a negação da proposição-conclusão do auditor estará corretamente escrita na forma [(~P)∧(QvR)]∧[~(QvR)∧P].
Considere a expressão a seguir.
{(A → B) ∧ (C → A)} → (C → B)
Essa expressão é
Um tipo de argumento dedutivo em que a conclusão (Q) é consequência necessária de premissas (P1 e P2) é um silogismo. Com base nessa definição, considere os argumentos a seguir.
I. P1: Alguns gatos de olhos verdes são brancos.
P2: Pepe é um gato de olhos verdes.
Q : Pepe é um gato branco.
II. P1: Todo aluno que resolveu os exercícios foi aprovado.
P2: Lucas foi aprovado.
Q : Lucas resolveu os exercícios.
III. P1: Todos os animais aquáticos têm duas asas.
P2: A vaca é um animal aquático.
Q : A vaca tem duas asas.
IV. P1: Todos os moradores do oitavo andar são engenheiros.
P2: Albano mora no oitavo andar.
Q : Albano é engenheiro.
Assinale a alternativa correta.
