Séance de cours
Preuves : Équivalence logique et règles d'inférence
Séances de cours associées (57)
Introduction & Logique de proposition
Couvre les bases de la logique de proposition, des connectifs logiques, des tables de vérité et des propositions composées.
Arguments valides
Explique comment déterminer et construire des arguments valides dans la logique propositionnelle.
É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 de prédicat: Résumé de la semaine 2
Couvre le concept de l'univers du discours et des valeurs de vérité dans la logique prédictive.
Preuves : Logique, Mathématiques et Algorithmes
Explore les concepts, les techniques et les applications de la preuve dans la logique, les mathématiques et les algorithmes.
Logique propositionnelle : Implication et propositions composées
Couvre les connexions logiques, l'implication, les propositions biconditionnelles et composées dans la logique propositionnelle.
Équivalences logiques : construire, prouver et appliquer
Couvre le processus de montrer des équivalences logiques à travers des exemples et introduit les lois de De Morgan.
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.
É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.
Logique propositionnelle : bases et applications
Couvre les bases de la logique propositionnelle, son histoire, son langage et ses applications informatiques.