Équivalences logiques : construire et prouver des équivalences

Séances de cours associées (30)

Page 3 sur 3

Explore les concepts, les techniques et les applications de la preuve dans la logique, les mathématiques et les algorithmes.

Couvre la vérification des symboles logiques, des ensembles et des propriétés.

Explore les équivalences logiques, les quantificateurs et les lois de De Morgan dans la logique des prédicats.

Plonge dans le concept de preuve en mathématiques, en soulignant l'importance de la preuve et du raisonnement logique.

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

Couvre les réponses à un quiz sur la logique propositionnelle, en soulignant l'importance de la clarté dans les énoncés logiques.

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

Explore les quantificateurs existentiels, les valeurs de vérité et les énoncés composites dans la logique des prédicats.

Explore la distribution des quantificateurs, des équivalences logiques et des négations dans la logique des prédicats.

Couvre les techniques de preuve, y compris la preuve directe, la contradiction, les cas et le contre-exemple.