Séance de cours
Logique de prédicat: Résumé de la semaine 2
Dans cours
DEMO: sunt occaecat sint
Laborum nostrud in elit ex magna. Ex adipisicing minim voluptate sunt non est cillum qui. Proident nostrud mollit cillum fugiat est in Lorem dolore adipisicing. Eu nostrud mollit laboris aliquip sint labore officia laborum id. Eu culpa incididunt aute tempor ullamco nostrud et et eu occaecat dolor cupidatat. Amet in proident mollit incididunt ea nostrud voluptate magna nisi do mollit sunt aliquip sit.
Description
Cette séance de cours couvre le concept de l'univers du discours, les valeurs de vérité selon le domaine choisi, la validité, la satisfabilité, la nidification des quantificateurs, les équivalences, et les lois de De Morgan dans la logique principale.
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.