Enseignements donnés à l’Université Paris 8 Licence de Sciences du Langage

Année 2013-2014

UE Logique
Le mardi de 12h à 14h30, à partir du 10 février, salle A312

Ce cours (obligatoire) étudiera les concepts logiques importants qui sont utilisés en linguistique, principalement en sémantique formelle: valeurs de vérité, connecteurs logiques, lois logiques (règles d'inférence, tautologies, contradictions), prédicats et arguments, variables et constantes, quantificateurs. Il donnera également des indications sur les méthodes qui servent à déterminer la valeur de vérité d'une formule (algorithme de résolution) et tentera d'établir le plus fréquemment possible une comparaison avec la logique du langage quotidien.

cours n°1: Un passage par l'histoire: Aristote
FEUILLE d' EXERCICES n°1,
cours n°2 : Introduction à la logique booléenne
corrigé de la feuille d'exercices n°1
cours n° 3 : Logique booléenne, suite
Fiche diagrammes (Venn et Lewis Carroll)
Feuille d'exercices n°2
cours n° 4 : Calcul propositionnel
Feuille d'exercices n°3
cours n° 5 : Calcul propositionnel (suite)
Feuille d'exercices n°4

corrigé du partiel du 20 mai 2014

THE END