Logique Formelle

Calcul propositionnel

Système formel de logique utilisant des variables propositionnelles et des connecteurs logiques pour construire des formules complexes et étudier leurs propriétés de vérité.

← Geri