I-1
Dans le langage naturel, pour traduire que P implique Q, nous dirons indifféremment.
(1.a) * P est une condition suffisante de Q.
(1.b) * Q est une condition nécessaire de P.
(1.c) * Pour que Q soit vraie il suffit que P soit vraie.
(1.d) * Pour que P soit vraie il faut que Q soit vraie.
ou bien * P entraîne Q.