Re: Saint Paul avec l'Iran

Le 29/11/2022 à 22:13, Richard Hachel a écrit :

Le 29/11/2022 à 21:28, Martial a écrit :
 

ce baser sur du faux ne peux donner que du faux en résultat...

 Oui, je pense que c'est un principe de base.

C'est faux. Il suffit de se reporter à la table de vérité de l'implication logique :
A   B    Si A alors B
V   V           V
V   F           F
F   V           V
F   F           V
Exemple :
Si un quadrilatère est un carré alors ce quadrilatère est un rectangle
"ABCD est un carré" vrai  "ABCD est un rectangle" vrai
"Si ABCD est un carré alors ABCD est un rectangle" est vrai
Plus court :
ABCD est un carré donc ABCD est un rectangle
"ABCD est un carré" faux   "ABCD est un rectangle" vrai
"Si ABCD est un carré alors ABCD est un rectangle" est vrai
Dans ce cas ABCD est un rectangle sans être un carré
"ABCD est un carré" faux   "ABCD est un rectangle" faux
"Si ABCD est un carré alors ABCD est un rectangle" est vrai
Dans ce cas ABCD n'est ni un rectangle ni un carré
Si tu as fait un peu d'algèbre de Boole alors tu sais que "Si A alors B" est logiquement équivalent à "(non A) ou B"
Pour que "(non A) ou B" soit vrai il suffit qu'au moins une des deux propositions qu'il relie - non A ; B - soit vraie. Elles peuvent bien sûr être toutes les deux vraies. Le seul cas exclu est celui où toutes les deux son fausses donc non A est faux donc A est vrai et B est faux.
On retrouve le même résultat par la table de vérité :
A    non A    B     (non A) ou B
1      0      1            1
1      0      0            0
0      1      1            1
0      1      0            1