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: