Propositions et preuves

Séances de cours associées (29)

Page 2 sur 3

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

Couvre les bases des mathématiques discrètes, y compris la logique, les structures et les algorithmes.

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

Couvre les connexions logiques, l'implication, les propositions biconditionnelles, composées et les tables de vérité.

Couvre la logique, les tables de vérité et les propositions mathématiques, démontrant comment analyser les énoncés logiques.

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

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

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