Proposição A: "Eleger o Governo"
Proposição B: "Controlar o défice"
Segundo Durão Barroso: A implica B
Pela lógica matemática, brilhantemente relembrada pelo Nuno, então:
Não controlar o défice implica demitir o Governo!
(estou mesmo a gostar desta coisa da matemática!)