Se João for trabalhar, então Maria fará o jantar. Se Maria não fizer o jantar, então Lucas passará fome. Maria não fez o jantar. Pode-se certamente concluir que