|
BOOLE, mathématicien anglais
du 19ème siècle, a créé une algèbre représentant de manière
synthétique les raisonnements de la logique binaire.
(logique dans laquelle on
admet que les propositions formulées ne peuvent être que vraies ou fausses)
Exemple:
s'il fait beau et pas trop chaud nous irons pique-niquer.
Deux propositions
initiales:
. il fait beau
. il ne fait pas trop
chaud
Une proposition
conséquente:
. nous irons
pique-niquer.
Pour que la dernière
proposition se réalise (soit vraie), il faut que les deux premières propositions
soient réalisées (soient vraies).
>>> Télécharger le
support |