Page 2 - course1-19-21_Neat

Vocabulaire de la logique

e
Alg`bre I - But : Se familiariser avec le calcul propositionnel et
Logique et
Raisonne- comprendre comment il permet :
ments
1 de mod´eliser les connaissances et les raisonnements.
Patrick
RABARISON 2 d’ ´etablir des d´eductions qui permettent d’aboutir `a des
conclusions.
e
Les propositions. Les propositions du monde math´matique
sont celles qui peuvent se traduire par une formule o`u
e
interviennent les ensembles de nombres (entiers, r´els,...), des
e
constantes (0, 1, ...), des variables (x, a,...), les op´rations (+,
×,..), les relations (=, ≤,...), et les symboles ∀, ∃, ∈, ..., et qui
respectent la syntaxe. Une proposition peut prendre
uniquement les valeurs vrai ou faux.
Exemple
Les formules (1 > 0) , (1 = 0) , (x > 1) sont des propositions.

Patrick RABARISON Alg`bre I - Logique et Raisonnements
e