Logique formelle : révision complète (chapitres 0 à 2) - Cours L1 informatique

Révision complète de la logique formelle : raisonnements, validité et solidité, syntaxe des formules, tables de vérité, tautologies, équivalences, formes normales et conséquence logique. Au programme : Raisonnements, modus ponens et affirmation du conséquent Formules bien formées, arbres de formation, priorité des connecteurs Valuations et tables de vérité, tautologies et contradictions Équivalences, FNC et FND Conséquence logique et contre-exemples Exercices avec corrigés : https://drive.google.com/file/d/1Vjei... Chapitres : 0:00 Introduction 1:00 Chapitre 0 : raisonner 3:30 Chapitre 1 : écrire correctement 6:00 Chapitre 2 : la vérité 8:30 Équivalences et formes normales 9:30 Conséquence logique 10:30 Conclusion Cours : L1 Sciences informatiques, ISIM Médenine (Université de Gabès) Si la vidéo vous aide, abonnez-vous et partagez-la avec vos camarades.