Considere a sentença “Se Arquimedes é torcedor do Ji-Paraná, então Sócrates é torcedor do Rondoniense”. A negação lógica dessa sentença é:

Gabarito

D

Comentário do professor

A negação da sentença “Se Arquimedes é torcedor do Ji-Paraná, então Sócrates é torcedor do Rondoniense” é a conjunção em que o antecedente se mantém verdadeiro e o consequente torna‑se falso.

Formalmente, se \(a\) = “Arquimedes é torcedor do Ji‑Paraná” e \(b\) = “Sócrates é torcedor do Rondoniense”, o condicional é \(a \to b\).

A negação de \(a \to b\) equivale à negação de \(\lnot a \lor b\), ou seja, \(\lnot(\lnot a \lor b)=a \land \lnot b\).

Em linguagem natural isso significa: Arquimedes é torcedor do Ji‑Paraná e Sócrates não é torcedor do Rondoniense, que corresponde à alternativa correta.