Lições da matemática

Suponham a proposição A: "Inspeccionar a ponte"
Suponham a proposição B: "Não ter a certeza se a ponte cai"

De acordo com o Instituto de Estradas de Portugal (ou será só o seu Presidente?),
A implica B

De acordo com a matemática que aprendi no 10º ano,

A implica B é equivalente a
"Negação de B" implica "Negação de A"

Ou seja, em Português corrente,

"Ter a certeza se a ponte cai implica não a inspeccionar".

Mais vale inspeccionar como é que este Presidente ainda está de pé.