deux propositions contradictoires ne peuvent pas être toutes les deux
fausses.

cela s'applique aussi aux futurs contingents.