Le but de cette note est de présenter la solution du problème suivant: est - il possible de construire un système de la Logistique, en admettant le signe d'équivalence comme le seul terme primitif (bien entendu, outre les quantificateurs) ?
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.
Page 1