Syntaxe du calcul des prédicats

Sujets abordés

Connecteurs du calcul des prédicats ;
Variables liées et libres, α-rennommage ;
Équivalences remarquables, forme normale prénexe.

Sources

Arnold - Guessarian, Section 5.3 ;
Vélu, Chapitre 14 ;
David - Nour - Raffalli, Sections 1.1 – 1.2.

Attention: Arnold et Guessarian utilisent pour l’implication tantôt le symbole $⇒$ , tantôt le symbole $⊃$ (la différence est subtile, et elle sera claire dans les prochains cours). Vélu et David - Nour - Raffali utilisent le symbole $→$ .