Nous avons commencé hier en informatique le chapitre de logique. Voici quelques extraits parmi les plus savoureux…

- « Définition : une proposition logique est….

Exemple : « Vous avez mangé du sanglier rôti à la cantine. »

« 4q^3 + 27 p²>0″ n’est pas une proposition logique, car elle dépend du contexte, on ne sait pas ce que sont p et q. »

- Mais monsieur… Dans ce cas, la première aussi dépend du contexte : et si je ne sais pas ce que c’est un sanglier ?!

**

- »Une proposition logique a une valeur de vérité : vrai ou faux.

Exemple : « Gabriel est toujours en retard. »  Gabriel, c’est vrai ou c’est faux ?! »

- Euh… ça dépend !

- Non. ça, c’est toujours vrai. Autre exemple…

**

 » On appelle les propositions p : « Vous avez mangé du sanglier rôti à la cantine »,

q : « Vous êtes en forme pour le cours d’info »

r : « trop mangé »

On a : p => q

non p => non r => q

Dans tous les cas, on a r, donc r est toujours vrai : vous êtes toujours en forme pour le cours d’info. »