Séance de cours
Équivalences logiques : construire, prouver et appliquer
Dans cours
DEMO: ea ullamco sunt est
Labore enim laborum laboris eu amet nostrud dolore pariatur consequat. Pariatur amet cupidatat in anim minim minim ullamco officia ea excepteur consequat. Magna dolore irure nulla nisi aliquip sit magna. Occaecat voluptate exercitation dolor dolor mollit sit mollit laborum. Commodo amet enim incididunt quis culpa cillum aliquip. Commodo voluptate aute est tempor eu non excepteur mollit duis.
Description
Cette séance de cours couvre le processus de montrer des équivalences logiques en développant une série d'énoncés équivalents, illustrés par des exemples impliquant des expressions de logique propositionnelle. Il présente également les lois de De Morgan, diverses équivalences logiques et différents types de preuves d'équivalence, menant au sujet suivant sur les formes normales.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Proximité ontologique
Séances de cours associées (36)
Mathématiques discrètes: Logique & Structures
Couvre la logique de proposition, les tables de vérité et les stratégies de résolution de problèmes en mathématiques discrètes.
Mathématiques discrètes: Logique, Structures, Algorithmes
Couvre les bases des mathématiques discrètes, se concentrant sur la logique, les structures et les algorithmes pour les systèmes informatiques.
Équivalences logiques : les lois de De Morgan et leurs implications
Couvre les équivalences logiques dans la logique propositionnelle, y compris les lois et les équivalences de De Morgan avec les connexions de base.
Mathématiques discrètes: Logique, Structures, Algorithmes
Couvre les bases des mathématiques discrètes, y compris la logique, les structures et les algorithmes.
Équivalences logiques : les lois de De Morgan et leurs implications
Couvre les équivalences logiques dans la logique propositionnelle, y compris les lois et les équivalences de De Morgan avec les connexions de base.