Résumé du dernier TD (I)
•	Propositions et phrases
–	Une proposition est le contenu d’une croyance
–	Dans le langage naturel, les propositions et les croyances ne correspondent pas une à une.
•	Langage du calcul propositionnel
–	Une proposition = une formule
–	Formules atomiques et formules complexes
–	Vérifonctionalité
Résumé du dernier TD (II)
•	Syntaxe du langage LP
–	Définition récursive de formule de LP
–	Arbres syntaxiques
•	Sémantique du langage LP
–	Tables de vérité des connecteurs
–	Caractérisation récursive de la valeur de vérité d’une formule
–	Définitions: interprétation, satisfaction, satisfiable, valide, contingente, tautologie, contradiction.

Correction des exercices
Semantique de LP, suite
•	Langage objet et métalangage
–	La signification des connecteurs
–	Usage et mention
•	Définition: argument valide ou preuve
–	Un argument est une suite de formules
–	Prémisses et conclusion
–	Un argument est valide ssi dans toute interprétation où les prémisses sont vraies, la conclusion est vraie.
Preuve: tables de vérité
•	Méthode 1: 
–	Une table pour la conjonction des prémisses, une table pour la conclusion
–	Vérifier que là où la première est vraie, la seconde est vraie.
•	Méthode 2:
–	Liens argument valide – formule valide:
•	A, B donc C ssi A & B & C n’est pas satisfiable 
•	A, B donc C ssi (A&B)  B
–	Vérification de la validité.
•	 Exercice 1.9.

Méthodes des arbres
•	La méthode des arbres: introduction
–	Ce que fait la méthode des arbres
–	Exemple
•	Fonctionnement:
–	Branche ouverte ou fermée
–	Deux règles de base: p & q et p  q
–	Trouver les autres règles.
Méthodes des arbres: application
•	Application aux tautologies
–	p est une tautologie ssi p est valide.
–	 Exercice 1.10
•	Application aux arguments valides
–	Un argument est valide s’il n’a pas de contre-exemple.
–	Conseil: commencer par les règles type &
–	 Exercices 1.11, 1.12.
Prochain TD
•	Logique et langue naturelle
–	« ou », « si… alors »
–	traductions formules – phrases
–	arguments en langue naturelle
•	Méthode de la déduction naturelle