Matemática — Conhecimentos gerais

A sequência de proposições a seguir constitui uma dedução correta. Se Carlos não estudou, então ele fracassou na prova de Física. Se Carlos jogou futebol, então ele não estudou. Carlos não fracassou na prova de Física. Carlos não jogou futebol.