Questões de Concurso Comentadas por alunos sobre equivalências - proposições logicamente equivalentes em raciocínio lógico

Considere a seguinte afirmação: Hélio é casado ou Luana é solteira.

Uma equivalência lógica para a proposição apresentada está contida na alternativa:

Considere a seguinte afirmação: Se Carlos é médico, então Selma é auditora de controle externo e André é auxiliar técnico de controle externo.
Assinale a alternativa que contém uma equivalência lógica para a afirmação apresentada.

Dado um conjunto finito de proposições p₁ , p₂ , ⋯ , p_n (chamadas premissas) e uma proposição c (chamada conclusão), diz-se que a relação que associa as premissas à conclusão é um argumento. Um argumento é válido quando a conclusão c é consequência obrigatória do conjunto de premissas. Considere os seguintes argumentos:
Argumento I p₁ : todas as crianças gostam de pizza. p₂ : quem gosta de refrigerante gosta de pizza. c: todas as crianças gostam de refrigerante.
Argumento II p₁ : todas as crianças gostam de pizza. p₂ : quem gosta de refrigerante gosta de pizza. c: quem gosta de refrigerante é criança.
Argumento III p₁ : todas as crianças gostam de pizza. p₂ : quem gosta de refrigerante não gosta de pizza. c: nenhuma criança gosta de refrigerante.
É (são) argumento(s) válido(s)

Um assistente técnico-administrativo estava trabalhando na digitação de uma sustentação oral de um Promotor, que atuava na acusação de um réu. Ao final de sua oratória, o Promotor afirmou que:
“Sempre que um criminoso é perdoado pelas falhas do sistema, a sociedade leva um tapa na cara”.
O assistente técnico-administrativo escreveu a afirmação feita pelo Promotor de forma distinta, mas mantendo-se a equivalência lógica. Trata-se de uma possível escrita feita pelo assistente técnico-administrativo:

Se P, Q e R são afirmações lógicas, então a contraposição da implicação (P→Q)→R é logicamente equivalente à implicação