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

Équivalences logiques : Partie 1

Couvre les équivalences logiques dans la logique propositionnelle, y compris les lois et les équivalences de De Morgan avec les connexions de base.

Logique propositionnelle : bases et équivalences

Couvre les bases de la logique propositionnelle et explore les équivalences logiques et les techniques de preuve.

Équivalences logiques : les lois de De Morgan et leurs implications

Couvre les équivalences logiques dans la logique propositionnelle, y compris les lois et les équivalences de De Morgan avec les connexions de base.

Logique propositionnelle : connexions logiques de base

Couvre la logique propositionnelle, les connecteurs logiques, les tables de vérité et les propositions composées.

Preuves : méthodes directes et indirectes

Couvre des exemples de preuves directes et indirectes en mathématiques.

Automatiser les preuves logiques de premier ordre en utilisant la résolution

Couvre la syntaxe logique de premier ordre, la sémantique et la résolution pour les propriétés de preuve.

Page 2 sur 2