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

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (27)

Page 2 sur 3

Logique principale : quantificateurs, FNC, DNF

Couvre Predice Logic, en mettant l'accent sur les quantificateurs, le FNC et le DNF.

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

Propositions et preuves

Explore les propositions, les preuves et la contradiction dans la théorie mathématique, en mettant l'accent sur les règles logiques et les méthodes de preuve.

Logique propositionnelle : connexions logiques de base

Couvre les propositions, les connecteurs logiques, les tables de vérité et le langage logique propositionnel.

Arguments valides

Explique comment déterminer et construire des arguments valides dans la logique propositionnelle.

Logique des prédicats : domaines et quantificateurs

Explore la logique des prédicats, en se concentrant sur les domaines, les quantificateurs et les idées surprenantes sur les domaines vides.

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 : construire, prouver et appliquer

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

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