Présente la logique propositionnelle, les connexions logiques, les implications et les équivalences, avec des exemples et des faits sur la tautologie et la contradiction.

Ensembles et opérations: Introduction aux mathématiques

Couvre les bases des ensembles et des opérations en mathématiques, des propriétés des ensembles aux opérations avancées.

Logique propositionnelle : bases et équivalences

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

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

Introduit la logique de prédicat et explique comment déterminer les valeurs de vérité à l'aide de quantificateurs.

Sans titre

Logique des prédicats : domaines et quantificateurs

Explore la logique des prédicats, en se concentrant sur les domaines, les quantificateurs et les idées surprenantes sur les domaines vides.