HLPH112. Logique. Les articulations logiques.

Problème. Étude de dialogues et de propositions complexes.

Problème. Étude de dialogues et de propositions complexes.

Correction d'un problème (tables de vérité) et formalisation de propositions modérément complexes.

Correction d'un problème (utilisation des tables de vérité)

Formalisation de propositions modérément complexes (révisions).

Comparaisons de dialogues et de propositions à partir de leur formalisation.

Comparaisons de dialogues et de propositions à partir de leur formalisation (à suivre)

Comparaisons de dialogues et de propositions à partir de leur formalisation (suite et fin).

Correction de l'exercice: formalisation d'énoncés complexes.

Correction de l'exercice: formalisation d'énoncés complexes (à suivre)

Correction de l'exercice: formalisation d'énoncés complexes (suite et fin).

Problème

Correction des exercices: hiérarchie des connecteurs, formalisation.

Correction de l'exercice sur la hiérarchie des connecteurs.

Correction de l'exercice de formalisation. Présentation de l'exercice pour les semaines suivantes.

Formalisation de propositions compliquées.

Correction du problème. Hiérarchie des connecteurs.

Correction du problème.

Hiérarchie des connecteurs.

Propositions faisant intervenir toutes sortes de connecteurs. Hiérarchie des connecteurs.

Formalisation et tables de vérité de propositions faisant intervenir conjonctions, implications et équivalences. Exemple de problème simple.

Correction de l'exercice: formalisation et tables de vérités de propositions faisant intervenir conjonctions, implications, équivalences.

Fin de la correction de l'exercice précédent: dernières tables de vérité. Un exemple de problème.

Problème: utilisation des tables de vérité.

Tables de vérité avec équivalence. L'implication.

Correction des exercices: tables dé vérité avec équivalences.

Propositions faisant intervenir toutes sortes de connecteurs logiques (en particulier des implications)

Correction des exercices: tables de vérité avec conjonctions, disjonctions, négations. L'équivalence.

Correction des exercices: tables de vérité avec conjonctions et disjonctions.

L'équivalence.

Tables de vérité avec équivalences, conjonctions, disjonctions, négations.

Conjonction. Disjonction. Tables de vérité.

Correction de l'exercices sur les propositions simples et composées.

Conjonction. Disjonction.

Conjonction. Disjonction. Formalisation et construction de tables de vérité.

Propositions, simples et composées. Notations. Connecteurs. Tables de vérité.

Correction des exercices: qu'est-ce qu'une proposition?

Notation des propositions, des connecteurs. Tables de vérité.

Propositions simples et propositions composées.

Propositions

Propositions

Propositions simples et composées