JEDNOSTKA NAUKOWA KATEGORII A+

Sur les truth-functions au sens de MM. Russell et Whitehead

Tom 5 / 1924

Alfred Tajtelbaum-Tarski 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.

Autorzy

  • Alfred Tajtelbaum-Tarski

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek