Aksjomat Nicoda-Łukasiewicza Łukasiewicz uprościł aksjomat Nicoda w 1925, a wyniki swoich badań opublikował w 1933 w pracy Uwagi o aksjomacie Nicoda i o „definicji uogólniającej”. Jeszcze przed 1933 wzmianka o aksjomacie Łukasiewicza pojawiła się w pracy Stanisława Leśniewskiego Grundzüge eines neuen Systems der Grundlagen der Mathematik.
Modyfikacja Łukasiewicza polega na tym, że liczba zmiennych w jego sformułowaniu aksjomatu zmniejsza się z pięciu do czterech, dzięki czemu aksjomat jest jeszcze prostszy. Łukasiewicz wykazał ponadto niezauważony do tamtej pory błąd w dowodzie Nicoda dla tezy t/(t/t).
W wersji Łukasiewicza aksjomat ma postać:
W notacji Łukasiewicza postać aksjomatu wygląda następująco: DDpDqrDDsDssDDsqDDpsDps
Przypisy
Bibliografia Kazimierz Czarnota, Aksjomat Nicoda-Łukasiewicza, hasło w: Mała encyklopedia logiki, Ossolineum, Wrocław 1970 Jan Łukasiewicz, Uwagi o aksjomacie Nicoda i o "definicji uogólniającej", w: idem, Z zagadnień logiki i filozofii. Pisma wybrane, PWN, Warszawa 1961
Linki zewnętrzne Artykuł Nicoda A Reduction in the number of the Primitive Propositions of Logic w Wikiźródłach
Kategoria:Logika matematyczna