Outils formels pour linguistes - Leçon 6/7

Introduction à la logique propositionnelle. La syntaxe,les tables de vérité,le raisonnement par l'absurde. (1) Pages du document de référence (ofl.pdf) 23-29 (logique propositionnelle)

Disciplines : Linguistique,Logique
Mots-clés : logique propositionnelle,syntaxe,sémantique,tables de vérité,raisonnement par l'absurde,tautologie,contradiction
Type de document : texte,image en mouvement,son
Type de ressource : exercise,lecture
Niveau : bac+4,higher education
Auteurs ou éditeurs : Ecole normale supérieure de Lyon,JAYEZ Jacques