Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Équivalences logiques : les lois de De Morgan et leurs implications

Dans cours

CS-101: Advanced information, computation, communication I

Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics as diverse as mathematical reasoning, combinatorics, disc ...

Description

Cette séance de cours couvre les équivalences logiques dans la logique propositionnelle, y compris les lois et les équivalences de De Morgan avec les connexions de base. Il explore également les Equivalences avec Implications, Contrapositive, Converse, Inverse, et l'application des Equivalences Logiques.

Enseignant·e

Karl Aberer

Co-Founder of LinkAlong Sarl, 2017.Vice-president EPFL for Information Systems, 2012 –2016.Director of the Swiss National Centre for Mobile Information and Communication Systems NCCR MICS (mics.ch), 2005 -2012.Member of the Swiss Research and Technology Council SWTR, consulting the Swiss Federal government, 2004 - 2011.

Source officielle

Proximité ontologique

Logique

Logique classique: Calcul des prédicats

Concepts associés (32)

Logique

La logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).

Implication (logique)

En logique mathématique, l'implication est l'un des connecteurs binaires du langage du calcul des propositions, généralement représenté par le symbole « ⇒ » et se lisant « ... implique ... », « ... seulement si ... » ou, de façon équivalente, « si ..., alors ... » comme dans la phrase « s'il pleut, alors il y a des nuages ». L'implication admet des interprétations différentes selon les différents systèmes logiques (logique classique, modale, intuitionniste, etc.).

Calcul des propositions

Le calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts.

Proposition (philosophie)

Une proposition est en philosophie ce qui dans un énoncé est susceptible d'être conservé lors d'une traduction et de recevoir une valeur de vérité, c'est-à-dire d'être vrai ou faux. Un exemple courant pour désigner ce qu'est une proposition par rapport à un énoncé ou à une phrase est de comparer les deux énoncés ou phrases suivantes : « Il pleut. » « It's raining. » Ces deux énoncés ou phrases ont la même proposition, à savoir qu'il pleut. Un autre exemple courant dans le domaine est de comparer « La neige est blanche » et « Snow is white ».

Connecteur logique

En logique, un connecteur logique est un opérateur booléen utilisé dans le calcul des propositions. Comme dans toute approche logique, il faut distinguer un aspect syntaxique et un aspect sémantique. D'un point de vue syntaxique, les connecteurs sont des opérateurs dans un langage formel pour lesquels un certain nombre de règles définissent leur usage, au besoin complétées par une sémantique. Si l'on se place dans la logique classique, l'interprétation des variables se fait dans les booléens ou dans une extension multivalente de ceux-ci.

Afficher plus

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.

Logique propositionnelle : bases et équivalences

Couvre les bases de la logique propositionnelle et explore les équivalences logiques et les techniques de preuve.

Introduction & Logique de proposition

Couvre les bases de la logique de proposition, des connectifs logiques, des tables de vérité et des propositions composées.

Concept de preuve en mathématiques

Plonge dans le concept de preuve en mathématiques, en soulignant l'importance de la preuve et du raisonnement logique.

Logique propositionnelle : Implication et propositions composées

Couvre les connexions logiques, l'implication, les propositions biconditionnelles et composées dans la logique propositionnelle.

Afficher plus

Concepts associés (32)

Logique

Implication (logique)

Calcul des propositions

Proposition (philosophie)

Connecteur logique

Afficher plus