HLPH312. Logique aristotélicienne, logique des prédicats.

Correction de l'exercice: propositions ayant le même contenu. Rapide rappel sur les syllogismes.

Correction de l'exercice: propositions ayant le même contenu. Rapide rappel sur les syllogismes.

L'égalité: correction des exercices et compléments.

L'égalité: correction des exercices et compléments.

Reconnaissance de propositions ayant même contenu.

Correction de l'exercice: reconnaissance de propositions de contenu similaire. Le calcul des prédicats avec égalité.

Correction de l'exercice: reconnaissance de propositions de contenu similaire. Le calcul des prédicats avec égalité.

Traductions faisant intervenir l'égalité.

Correction des exercices: syllogismes se ramenant à des syllogismes aristotéliciens, mises sous forme pérenne, sous forme pure. La logique des prédicats avec égalité.

Correction des exercices: syllogismes se ramenant à des syllogismes aristotéliciens, mises sous forme pérenne, sous forme pure. La logique des prédicats avec égalité.

Reconnaissance de phrases ayant la même signification.

Correction des exercices: congruences, traduction (français-formalisme, formalisme-français). Mise sous forme pérenne ou sous forme pure.

Correction des exercices: congruences, traduction (français-formalisme, formalisme-français). Mise sous forme pérenne ou sous forme pure.

Syllogismes se ramenant à des syllogismes aristotéliciens. Mise sous forme pérenne et sous forme pure.

Correction des exercices: négation de propositions en logique des prédicats, formalisation de propositions simples. Connecteurs et quantificateurs.

Correction des exercices: négation de propositions en logique des prédicats, formalisation de propositions simples. Connecteurs et quantificateurs.

Exercices au format pdf: congruences, formalisation de phrases complexes (ou traduction en français de formules complexes).

Formalisation de propositions. Négations.

Correction des exercices: traduction, syllogismes se ramenant à des syllogismes aristotéliciens. Négation de formules dépendant d'un quantificateur.

Correction des exercices: traduction, syllogismes se ramenant à des syllogismes aristotéliciens. Négation de formules dépendant d'un quantificateur.

Congruences. Premiers théorèmes de logique des prédicats.

Correction des exercices: congruences; formalisation ne faisant intervenir que des propriétés en logique des prédicats.

Premiers théorèmes de logique des prédicats.

Syllogismes se ramenant à des syllogismes aristotéliciens. Formalisations simples de logique des prédicats avec des relations.

Formalisation en logique des prédicats. Congruences.

Correction des exercices: formalisation en logique des prédicats.

Congruences.

Formalisation en logique des prédicats. Congruences. (format pdf)

Révisions de logique propositionnelle. Formalisation en logique des prédicats de propositions aristotéliciennes typiques.

Révisions de logique propositionnelle

Formalisation en logique des prédicats des propositions aristotéliciennes typiques

Formalisations de logique des prédicats ne faisant intervenir que des propriétés.

Révisions de logique aristotélicienne. Quantificateur universel.

Quantificateur existentiel.

Révisions de logique aristotélicienne. Quantificateurs.

Formalisation des propositions aristotéliciennes typiques à l'aide de quantificateurs.

Exercices de révision: logique aristotélicienne

Exercices de révision: reconnaître des propositions de même contenu

Généralités.