Logique propositionnelle classique - MLO - Ensiie

Exemples de formules (avec V = {p, q, r} :
((p ∧ q) ∧ ¬r)), (p ⇒ (⊥ ∨ q)).
Exemples qui ne sont pas des formules:
p ⇒⇒ p, p¬q
Dans la suite on s’autorisera à omettre les parenthèses en utilisant les
règles de priorité et d’associativité classiques :
◮ Ordre des priorités: ¬ > ∧ > ∨ > ⇒.
◮ Associativité:
◮ ∨ et ∧ sont associatifs à gauche,
◮ ⇒ est associatif à droite.
Ainsi la formule ((F 1 ∧ F 2 ) ∧ F 3 ) pourra s’écrire F 1 ∧ F 2 ∧ F 3 .
Dans toute la suite des transparents p, q, r etc. désignent des variables
propositionnelles.
F , G, H etc désignent des formules de la logique propositionnelle.
Catherine Dubois, Julien Narboux (Strasbourg) () Logique propositionnelle classique 5 / 60