Polycopie-Logique Mathematique 2.pdf

Où Q est soit le quantificateur ? ou soit le quantificateur ?, les vi sont des variables ... Annexe C Examen corrigé. 66. Exercice 3. Soit la formule P définie ...