Séances de cours associées à Équivalence logique

É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 proposée: Traductions et équivalences

Couvre la traduction du langage naturel en logique de proposition et la démonstration de tautologies.

Équivalences logiques : construire, prouver et appliquer

Couvre le processus de montrer des équivalences logiques à travers des exemples et introduit les lois de De Morgan.

La logique des prédicats : quantificateurs et équivalences

Explore la logique des prédicats, couvrant les quantificateurs, les équivalences et les traductions du langage naturel.

Négation des propositions

Couvre le concept de négation des propositions et leurs équivalences.

Logique propositionnelle : résumé de la semaine 1

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.

Logique propositionnelle : bases et équivalences

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

Preuves : Équivalence logique et règles d'inférence

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

Tables de logique et de vérité

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

É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 des prédicats : Introduction et équivalences

Couvre les bases de la logique des prédicats, les quantificateurs, les équivalences et les exemples de traduction en langage naturel.

Définir les identités: Analogues et preuves

Explore les identités définies comme des analogues des équivalences logiques dans la logique propositionnelle.

Prédicat Logique : Équivalences logiques et Quantificateurs

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

Prédicat Logique : Équivalences logiques et Quantificateurs

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

Symboles et ensembles logiques

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

Introduction à l'élimination des quantificateurs pour l'arithmétique de Presbourg

Introduit une méthodologie de vérification formelle et l'arithmétique de Presburger pour la vérification de programme et le raisonnement automatisé.

É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.

É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.

La logique des prédicats : les équivalences, les négations et les lois de De Morgan

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

Algèbre linéaire: propriétés et opérations

Explore les propriétés du sous-ensemble, la contradiction et l'équivalence en algèbre linéaire.