Concept
Table de vérité
Séances de cours associées (68)
Ensembles, fonctions et relations : construire des ensembles
Couvre les ensembles de pouvoir, les tuples, les produits cartésiens, les ensembles de vérité et la cardinalité avec des exemples illustratifs.
Logique du prédicat : Quiz Questions Réponses
Couvre les réponses aux questions de quiz sur la logique des prédicats.
Logique propositionnelle : Implication et propositions composées
Couvre les connexions logiques, l'implication, les propositions biconditionnelles, composées et les tables de vérité.
Logique propositionnelle : bases et applications
Couvre les bases de la logique propositionnelle, son histoire, son langage et ses applications informatiques.
Logique propositionnelle : Implication et propositions composées
Couvre les connexions logiques, l'implication, les propositions biconditionnelles et composées dans la logique propositionnelle.
Philosophie de Mathématiques : Ontologie et Structures
Explore l'existence d'objets mathématiques, la vérité des propositions, et la connaissance à leur sujet, couvrant le platonisme, l'intuitisme, le structuralisme, le nominalisme, le logique et le formalisme.
Logique propositionnelle : connexions logiques de base
Couvre la logique propositionnelle, les connecteurs logiques, les tables de vérité et les propositions composées.
Logique propositionnelle : connexions logiques de base
Couvre les propositions, les connecteurs logiques, les tables de vérité et le langage logique propositionnel.
É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.