Séance de cours
Équivalences logiques : construire et prouver des équivalences
Dans cours
DEMO: dolore exercitation voluptate
Ullamco magna non Lorem aliquip tempor irure aute incididunt do tempor do. Excepteur ad nulla nisi eiusmod adipisicing. Id sunt incididunt in eiusmod veniam laboris nostrud officia proident elit pariatur consequat. Consectetur ex enim eiusmod ut excepteur labore aliqua adipisicing minim.
Description
Cette séance de cours couvre le processus de construction et de preuve d'équivalences logiques en développant une série d'énoncés équivalents, y compris des exemples tels que les lois de De Morgan et les preuves de tautologie, conduisant à l'introduction de 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 (30)
Logique proposée: Traductions et équivalences
Couvre la traduction du langage naturel en logique de proposition et la démonstration de tautologies.
Équivalences logiques : construire, prouver et appliquer
Couvre le processus de montrer des équivalences logiques à travers des exemples et introduit les lois de De Morgan.
Preuves : Équivalence logique et règles d'inférence
Couvre le concept d'équivalence logique dans les règles de preuve et d'inférence.
Logique propositionnelle : Implication et propositions composées
Couvre les connexions logiques, l'implication, les propositions biconditionnelles et composées dans la logique propositionnelle.
Logique propositionnelle : bases et équivalences
Couvre les bases de la logique propositionnelle et explore les équivalences logiques et les techniques de preuve.