Passer au contenu principal
Graph
Search
fr
|
en
Se Connecter
Recherche
Tous
Catégories
Concepts
Cours
Séances de cours
MOOCs
Personnes
Exercices
Publications
Start-ups
Unités
Afficher tous les résultats pour
Accueil
Concept
Atomic sentence
Science formelle
Logique
Logique classique
Calcul des prédicats
Graph Chatbot
Séances de cours associées (17)
Connectez-vous pour filtrer par séance de cours
Connectez-vous pour filtrer par séance de cours
Réinitialiser
Précédent
Page 2 sur 2
Suivant
Logique propositionnelle : Formes normales
Explore la forme normale disjonctive et la forme normale conjonctive dans la logique propositionnelle, en montrant comment les construire et en discutant de leur complexité.
Logique propositionnelle : Formes normales
Explique la construction du DNF et du CNF dans la logique propositionnelle et leur complexité.
Logique propositionnelle : Implication et propositions composées
Couvre les connexions logiques, l'implication, les propositions biconditionnelles, composées et les tables de vérité.
É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 propositionnelle : bases et équivalences
Couvre les bases de la logique propositionnelle et explore les équivalences logiques et les techniques de preuve.
Logique propositionnelle : Implication et propositions composées
Couvre les connexions logiques, l'implication, les propositions biconditionnelles et composées dans la logique propositionnelle.
Logique proposée: Traductions et équivalences
Couvre la traduction du langage naturel en logique de proposition et la démonstration de tautologies.
