La logique des prédicats : les équivalences, les négations et les lois de De Morgan

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (28)

Page 3 sur 3

Preuves : Équivalence logique et règles d'inférence

Couvre le concept d'équivalence logique dans les règles de preuve et d'inférence.

Théorème des mathématiques Prover

Introduit le Mathgraph Theorem Prover, montrant son approche unique pour représenter des propositions et organiser des graphiques pour la logique de premier ordre.

Logique de prédicat: Résumé de la semaine 2

Couvre le concept de l'univers du discours et des valeurs de vérité dans la logique prédictive.

Logique formelle: preuves et ensembles

Couvre les bases de la logique formelle, en se concentrant sur les expressions logiques et les preuves mathématiques.

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.

Logique proposée: Traductions et équivalences

Couvre la traduction du langage naturel en logique de proposition et la démonstration de tautologies.

Élimination de l'arithmétique et des quantificateurs de Presbourg

Couvre l'arithmétique de Presbourg, l'élimination des quantificateurs et la transformation des formules en forme normale disjonctive.

Introduction aux scripts de preuve: bases de Ltac

Présente les bases du script de preuve en Coq, en se concentrant sur le langage Ltac et ses tactiques pour gérer efficacement les preuves.