Négation des propositions | EPFL Graph Search

Logique proposée: Traductions et équivalences

Couvre la traduction du langage naturel en logique de proposition et la démonstration de tautologies.

Couvre la vérification des symboles logiques, des ensembles et des propriétés.

Introduit des nombres et des booléens en Python, couvrant les types numériques, les opérations arithmétiques, les opérations logiques et les comparaisons.

Logique propositionnelle : résumé de la semaine 1

Présente la logique propositionnelle, les connexions logiques, les implications et les équivalences, avec des exemples et des faits sur la tautologie et la contradiction.

Tables de logique et de vérité

Couvre la logique, les tables de vérité et les propositions mathématiques, démontrant comment analyser les énoncés logiques.