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 : construire et prouver des équivalences

Couvre la construction et la preuve des équivalences logiques, y compris les lois de De Morgan et les preuves de tautologie.

Logique formelle: preuves et ensembles

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

Predicate Logic : Quantificateur universel et existentiel

Explique les variables, les prédicats, les fonctions propositionnelles et les quantificateurs dans la logique des prédicats.