Voici les exercices sur le langage des prédicats monadiques (semaines 6, 7 et 11), avec leurs corrigés complets. Ils vous seront utiles pour réviser les notions de base du langage des prédicats (variable, quantificateur, etc.), la traduction du/vers le langage des prédicats, la vérité dans un modèle, et les arbres pour les arguments valides en langage des prédicats. Bon courage!
Exercices sur le langage des prédicats : ph203A_LPM_Exercices_corriges.pdf, 135 Ko
Pour télécharger, cliquez avec le bouton droit et choisissez "Enregistrer la cible sous" ou équivalent.
Exercices semaine 1: ph203A_2004_TD1.ex.1.rtf
Exercices semaine 2: ph203A_2004_TD1.ex.2.rtf
Exercices semaine 3: ph203A_2004_TD1.ex.3.rtf
Exercices semaine 4: ph203A_2004_TD1.ex.4.rtf
Exercices semaine 5: ph203A_2004_TD1.ex.5.rtf
Exercices semaine 6: ph203A_2004_TD1.ex.6.rtf
Exercices semaine 7: ph203A_2004_TD1.ex.7.rtf
Exercices semaine 11: ph203A_2004_TD1.ex.8.rtf
Mémo de logique: ph203A_Memo.pdf, 253 Ko. Version du 6 décembre.
Ce mémo reprend l'essentiel du cours, et explique les points difficiles. Il va pour l'instant jusqu'à la sémantique de la logique des prédicats. Il fait une trentaine de pages. Le fichier est au format .pdf, vous pouvez avoir besoin d'Acrobat Reader, qui peut être téléchargé gratuitment.
Voici une fiche pour la logique propositionnelle: Ph203A_Fiche.pdf, 50 Ko.
Les documents à télécharger sont copyright J.Dutant, tous droits réservés.
Page valide XMTL 1.0 Strict/CSS.