FC ConcursosFC Concursos

Questão FC83125

Um astronauta, após sofrer um acidente e acabar sozinho em um planeta distante, apresentou para si o seguinte argumento: P1: Eu não tenho meios para contatar socorro. P2: Mesmo que

Lógica de Proposições

CEBRASPE (CESPE) · 2024

Um astronauta, após sofrer um acidente e acabar sozinho em um planeta distante, apresentou para si o seguinte argumento:

P1: Eu não tenho meios para contatar socorro.
P2: Mesmo que tivesse, levaria 4 anos para o socorro conseguir chegar aqui.
P3: Se o oxigenador estragar antes de chegar o socorro, eu sufoco.
P4: Se o reciclador de água estragar antes de chegar o socorro, eu morro de sede.
P5: Se o habitador artificial se romper antes de chegar o socorro, eu implodo.
P6: Se nada disso acontecer, a comida acabará.
C: Morrerei aqui.

Com base na situação hipotética apresentada, considerando que P1, P2, ..., P6 sejam premissas e C, conclusão, julgue o item seguinte.

P5 é equivalente a “Se eu não implodi, o habitador artificial não se rompeu antes de chegar o socorro”.
Mostrar resposta e comentário

Gabarito

Certo

Comentário do professor

A afirmação foi julgada CERTO porque P5 é uma implicação cuja contrapositiva é logicamente equivalente a ela.


P5 diz: "Se o habitador artificial se romper antes de chegar o socorro, eu implodo", que formalmente é \(H \rightarrow I\), onde \(H\) = o habitador se rompeu, \(I\) = eu implodi.


A contrapositiva troca e nega termos, produzindo \( \lnot I \rightarrow \lnot H\), isto é, "Se eu não implodi, o habitador não se rompeu antes de chegar o socorro".


Em lógica clássica, uma implicação é sempre equivalente à sua contrapositiva, por isso a reformulação dada é correta, note que isso não vale para a inversa ou para a recíproca.

Conteúdo do catálogo FC Concursos · Atualizado em

Continue aprendendo