Séance de cours
Introduction & Logique de proposition
Description
Cette séance de cours présente les bases de la logique de proposition, un langage fondamental pour les preuves mathématiques et le raisonnement automatisé, en mettant l'accent sur les connectifs logiques, les tables de vérité et les propositions composées. Il couvre le développement historique de la logique, le rôle de la logique de proposition dans l'informatique, et l'évaluation des propositions composées à l'aide de la négation, de la conjonction, de la disjonction, de l'implication et des énoncés biconditionnels.
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.