Logique Symbolique
Les symboles peuvent étre utilisés pour modifier ou pour joindre des énoncés.
représente le mot “donc”
Exemple h: l’énoncé est faux. h donc, l’énoncé est faux
pq représente la phrase si p, alors q ou p indique q
Exemple p: un nombre est premier q: un nombre a seulement deux facteurs pq: Si un nombre est premier, alors le nombre a seulement deux facteurs .
~ représente le mot “pas”
~w: l’angle n’est pas obtus Exemple w: l’angle est obtus ~w: l’angle n’est pas obtus Attention: dans ce cas (~w) l’angle peut être aigu, droit, plat ou rentrant
r: Je ne suis pas heureuse ~r: Je suis heureuse Exemple r: Je ne suis pas heureuse ~r: Je suis heureuse A noter: dans ce cas, il n’y a plus de négatif (on ne peut pas avoir un double négatif)
représente le mot “et”
pq: Un nombre est pair et divisible par 3. Exemple p: un nombre est pair q: un nombre est divisible par 3 pq: Un nombre est pair et divisible par 3. 6,12,18,24,30,36,42...
représente le mot “ou”
pq: Un nombre est pair ou divisible par 3. Exemple p: un nombre est pair q: un nombre est divisible par 3 pq: Un nombre est pair ou divisible par 3. 2,3,4,6,8,9,10,12,14,15,...
s et ss représente la phrase “si et seulement si”
Exemple h: je suis contente k: il fait beau h s et ss k Je suis contente si et seulement s’il fait beau