proposição é:

Se Alberto visitou todos os Estados, então ele sabe o nome de todas as capitais.

Seja:

• P: Alberto visitou todos os Estados.
• Q: Alberto sabe o nome de todas as capitais.

A negação de uma condicional é:

¬(P → Q) ≡ P ∧ ¬Q

Negando "sabe o nome de todas as capitais", obtemos:

"não sabe o nome de alguma capital" (isto é, existe pelo menos uma capital cujo nome ele não sabe).

Logo, a negação é:

"Alberto visitou todos os Estados e não sabe o nome de alguma capital."

✅ Gabarito: A

MA+NE / EPA+NEG

mantem a primeira e nega a segunda

porem na segunda tem o "todas" e a negação do todas e o EPA (existe, pelo menos um, algum) + NEG

A) Alberto visitou todos os Estados e ele não sabe o nome de alguma capital.

✔ Exatamente p∧¬q. É a correta.

B) Alberto visitou todos os Estados e ele sabe o nome de alguma capital.

✘ Isso não é a negação. “Saber alguma” não contradiz “saber todas”; pode ser verdade junto com saber todas. Não é equivalente.

C) Alberto visitou todos os Estados e ele não sabe o nome de capital alguma.

✘ Isso é mais forte do que a negação. A negação exige apenas que ele não saiba todas (basta faltar uma). Aqui exige que não saiba nenhuma, o que é exagero.

D) Alberto visitou pelo menos um Estado e ele sabe o nome de alguma capital.

✘ Isso não tem relação com a condicional original. É uma afirmação totalmente diferente.

E) Alberto visitou pelo menos um Estado e ele não sabe o nome de alguma capital.

✘ Também não é a negação. A condição original fala em “todos os Estados”, não “pelo menos um”.

Essa deu trabalho pq não vi o "negação" no começo, fui direto pra equivalencia kkkkk mds isso na prova me destroi

quando é que vão parar de cobrar essa matéria que não faz sentido ?