Title: Calcul propositionnel
Course: Test d'acceptation: Moodle 2.0

Propositional calculus is the formal basis of logic dealing with the notion and usage of words such as "NOT," "OR," "AND," and "implies." Many systems of propositional calculus have been devised which attempt to achieve consistency, completeness, and independence of axioms. The term "sentential calculus" is sometimes used as a synonym for propositional calculus.

Les concepts fondamentaux du calcul propositionnel

Les arbres de vérité

La déduction naturelle

Les connecteurs propositionnels

Lectures