Outils formels pour linguistes - Leçon 7/7

Application du raisonnement par l'absurde aux notions de tautologie,d'équivalence et de contrainte (consistance). Discussion sur quelques exemples de contradiction réelle et apparente. (2) Pages du document de référence (ofl.pdf) 23-29 (logique propositionnelle)

Disciplines : Linguistique,Logique
Mots-clés : raisonnement par l'absurde,tautologie,contradiction réelle,contradiction apparente,logique propositionnelle
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