Raciocínio Lógico — Quantificadores

Um argumento é composto das seguintes proposições verdadeiras:

• Se João é filho de Matheus, então Pedro é filho de Joana.
• Se Pedro é filho de Joana, então Antônia é filha de Jaime.
• Sabe-se que é verdade que Antônia não é filha de Jaime.

Logo, é possível concluir que seja verdade: