Séances de cours associées à Preuves : Équivalence logique et règles d'inférence

Arguments valides : Comprendre la logique propositionnelle

Explique comment les prémisses impliquent des conclusions utilisant des règles d'inférence et des tables de vérité dans la logique propositionnelle.

Logique principale : quantificateurs et formulaires normaux

Explore la logique prédictive, en mettant l'accent sur les quantificateurs et les formes normales, soulignant l'importance de trouver des témoins et des contre-exemples.

Sans titre

Bien-fondé et exhaustivité d'un système de preuve proposé

Explore l'importance de la solidité et de l'exhaustivité dans un système de preuve propositionnelle.

Définir les identités: Analogues et preuves

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

Sans titre

Logique proposée : Règles d'inférence

Couvre l'interprétation de la logique de proposition et des règles d'inférence pour l'implication, la conjonction et la double négation.