Sur les truth-functions au sens de MM. Russell et Whitehead
Tom 5 / 1924
Fundamenta Mathematicae 5 (1924), 59-74
DOI: 10.4064/fm-5-1-59-74
Streszczenie
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.