Bonjour,

"A implique B" est vrai dans exactement les mêmes cas que ((non A)ouB), à savoir :

A faux et B faux
A faux et B vrai
A vrai et B vrai

je donne une autre reponse en langage usuel

pourquoi "A implique B" est défini comme signifiant ((nonA) ou B).

Si A est vrai B est vrai

ou encore


soit A n'est pas vrai
Soit il est vrai et dans ce cas B l'est aussi

A  B   a=>B   non(A)   non(A) ou B
V  V    V      F            V
V  F    F      F            F
F  V    V      V            V
F  F    V      V            V

on vois bien que la colonne (3) et la colonne (5) sont equivelentes

Bonsoir

Une explication "intuitive" :

1) On a toujours
(non(A) ou A)
Donc si A implique B, alors (non(A) ou B)

2) Réciproquement, si (non(A) ou B)  alors A et non(B) ne peuvent être simultanément vrais, ce qui veut dire que A implique B.


Cordialement
Frenicle