Séance de cours
Preuves : Arguments dans la logique des prédicats
Description
Cette séance de cours couvre les règles d'inférence pour les déclarations quantifiées, y compris l'instanciation universelle, la généralisation, l'instanciation existentielle, la généralisation et le modus ponens. À travers des exemples, l'instructeur montre comment construire des arguments valides en utilisant la logique des prédicats.
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.