#050 / 100•Space, Chance & Computation•MathTCG #450 / 500•★★Peu commune•∀Logique•Concept

Logique propositionnelle

Période historique : 1879

Système formel binaire manipulant les propositions et connecteurs logiques ET, OU, NON, IMPLIQUE.

Contenu & Formulation mathématique

Définition rigoureuse

Système formel binaire manipulant les propositions et connecteurs logiques ET, OU, NON, IMPLIQUE.

\phi ::= p \mid \neg \phi \mid \phi \land \psi \mid \phi \lor \psi \mid \phi \implies \psi, \quad \nu : \text{Var} \to \{0, 1\}

Genèse & Portée historique

Branche fondamentale de la logique mathématique étudiant les formules bâties à partir de variables propositionnelles prenant les valeurs Vrai ou Faux et reliées par des connecteurs booléens. Décidable et complète, elle constitue la grammaire formelle des circuits intégrés et des systèmes de preuve automatique.

Inaugurée par les philosophes stoïciens (Chrysippe) contre la logique des prédicats d'Aristote, elle fut refondée sous forme d'algèbre symbolique par George Boole puis Gottlob Frege.

« L'armature élémentaire de la pensée : deux valeurs de vérité et les règles strictes de leur combinaison. »

Filiations & Relations conceptuelles (0)

Cette notice constitue un axiome autonome sans relations directes enregistrées dans le recueil.

Objet de collection MathTCG

#450

★★Peu commune

∀

Logique propositionnelle

Logique•CONCEPT

Système formel binaire manipulant les propositions et connecteurs logiques ET, OU, NON, IMPLIQUE.

\phi ::= p \mid \neg \phi \mid \phi \land \psi \mid \phi \lor \psi \mid \phi \implies \psi, \quad \nu : \text{Var} \to \{0, 1\}

1879

Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Space, Chance & Computation.

Extension : Space, Chance & Computation (#050 / 100)

Numéro global MathTCG : MathTCG #450 / 500

Rareté officielle : Peu commune (★★)

Domaine théorique : Logique

Identifiant pérenne : logique-propositionnelle

Consulter mon classeur Explorer tout le recueil