Définition: Russell et Whitehead appellent "truth-function" toute fonction f (ayant pour argument une proposition) qui satisfait à la condition: [p,q]:p ≡ p · f(p) ⊃ f(q) Le but de cette note est de démontrer quelques théorèmes sur les conditions tantôt nécessaires et suffisantes, tantôt seulement nécessaires pour qu'une fonction donnée f soit truth-function dans le sens indiqué de ce terme.
@article{bwmeta1.element.bwnjournal-article-fmv5i1p7bwm,
author = {Alfred Tajtelbaum-Tarski},
title = {Sur les truth-functions au sens de MM. Russell et Whitehead},
journal = {Fundamenta Mathematicae},
volume = {6},
year = {1924},
pages = {59-74},
language = {fra},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv5i1p7bwm}
}
Tajtelbaum-Tarski, Alfred. Sur les truth-functions au sens de MM. Russell et Whitehead. Fundamenta Mathematicae, Tome 6 (1924) pp. 59-74. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv5i1p7bwm/