Séance de cours
Équivalences logiques : Partie 1
Description
Cette séance de cours couvre les équivalences logiques dans la logique propositionnelle, y compris les lois de De Morgan, les équivalences avec les connexions de base, les équivalences avec les implications et les déclarations contrapositives, converses et inverses.
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.