Calcul des propositions

Le calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions »^[1] et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts^[2]. Il est considéré comme la forme moderne de la logique stoïcienne^[3].

↑ Une proposition est un énoncé clos, c'est-à-dire ne dépendant d'aucun paramètre extérieur, comme « il y a une infinité de nombres premiers » ou « 57 est un nombre premier ». La définition précise du concept de proposition est l'un des objectifs du calcul des propositions.
↑ Jose Ferreiros, « The Road to Modern Logic-An Interpretation », The Bulletin of Symbolic Logic, vol. 7,‎ 1^er décembre 2001, p. 441-484 (DOI 10.2307/2687794, lire en ligne, consulté le 12 septembre 2015).
↑ Jean Largeault, Logique mathematique : textes., A. Colin, 1^er janvier 1972 (OCLC 301440117), « Contribution à l'histoire de la logique des propositions (Jan Łukasiewicz) », p. 9-25.

[1] Une proposition est un énoncé clos, c'est-à-dire ne dépendant d'aucun paramètre extérieur, comme « il y a une infinité de nombres premiers » ou « 57 est un nombre premier ». La définition précise du concept de proposition est l'un des objectifs du calcul des propositions.

[2] Jose Ferreiros, « The Road to Modern Logic-An Interpretation », The Bulletin of Symbolic Logic, vol. 7,‎ 1^er décembre 2001, p. 441-484 (DOI 10.2307/2687794, lire en ligne, consulté le 12 septembre 2015).

[3] Jean Largeault, Logique mathematique : textes., A. Colin, 1^er janvier 1972 (OCLC 301440117), « Contribution à l'histoire de la logique des propositions (Jan Łukasiewicz) », p. 9-25.

[1]

[2]

[3]