Le langage naturel est rempli de subtilités et de nuances.  On peut néanmoins suggérer quelques traductions en mots pour la relation vérifonctionnelle entre deux propositions exprimée (dans notre notation) par la flèche.
 

Pour accéder à une page suggérant différentes traductions symboliques (vérifonctionnelles) d'expressions contenant le mot « si », cliquer ici.

S  C,
     C  S

Si S, alors C	SC	Si la saison de chasse est ouverte, Jean va à la chasse.
	SC	Si la saison de chasse était ouverte, Jean allait à la chasse.
	SC	Si la saison de chasse était ouverte, Jean irait à la chasse.
	SC	Si la saison de chasse est ouverte, Jean ira à la chasse.
C si S	SC	Jean ira à la chasse si la saison de chasse est ouverte.
C uniquement si S	CS	Jean n'ira à la chasse que si la saison de chasse est ouverte.
C seulement si S	CS	Jean ira à la chasse uniquement si la saison de chasse est ouverte.
C à condition que S	CS	Jean ira à la chasse à condition que la saison de chasse soit ouverte.
Que S soit vrai est une condition nécessaire pour que C.	CS	Pour que Jean aille à la chasse il faut que la saison de chasse soit ouverte.
Que S soit vrai est une condition suffisante pour que C.	SC	Il suffit que la saison de chasse soit ouverte pour que Jean aille à la chasse.
S lorsque B	SC	Jean allait à la chasse lorsque la saison de chasse était ouverte.
S quand B	SC	Jean va à la chasse quand la saison de chasse est ouverte.
C les jours où B	SC	Jean va à la chasse les jours où la saison de chasse est ouverte.
C uniquement les jours où B	CS	Jean ne va à la chasse que les jours où la saison de chasse est ouverte.

Expressions équivalentes

SC

(S &  C)

S v C

(S & C) v (S & C) v (S & C)

Retour à la séance du 26 mars 2002