Sur les truth-functions au sens de MM. Russell et Whitehead
Alfred Tajtelbaum-Tarski (1924)
Fundamenta Mathematicae
Similarity:
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.