9 kontakty: Dysjunkcja (Sheffera), Funktor zdaniotwórczy, Jan Łukasiewicz, Mała encyklopedia logiki, Notacja polska, Rachunek zdań, Reguła odrywania, Reguła podstawiania, Stanisław Leśniewski (1886–1939).
Dysjunkcja (Sheffera)
Dysjunkcja, dyzjunkcjaWiktor Marek, Janusz Onyszkiewicz, Elementy logiki i teorii mnogości w zadaniach, Wydawnictwo Naukowe PWN, Warszawa 2012,, s. 8.
Nowy!!: Aksjomat Nicoda-Łukasiewicza i Dysjunkcja (Sheffera) · Zobacz więcej »
Funktor zdaniotwórczy
Funktor zdaniotwórczy – wyrażenie, które wraz z innymi wyrażeniami, nazywanymi argumentami funktora, tworzy zdanie lub funkcję zdaniową.
Nowy!!: Aksjomat Nicoda-Łukasiewicza i Funktor zdaniotwórczy · Zobacz więcej »
Jan Łukasiewicz
III Zjazd Filozofów w Krakowie 24 września 1936. Od lewej: Zygmunt Zawirski, NN, Witold Rubczyński, Władysław Tatarkiewicz, Tadeusz Garbowski, Jan Łukasiewicz, Tadeusz Czeżowski, sekretarz zjazdu Marian Heitzman Jan Leopold Łukasiewicz (ur. 21 grudnia 1878 we Lwowie, zm. 13 lutego 1956 w Dublinie) – polski naukowiec i polityk; logik i filozof, rektor Uniwersytetu Warszawskiego, minister.
Nowy!!: Aksjomat Nicoda-Łukasiewicza i Jan Łukasiewicz · Zobacz więcej »
Mała encyklopedia logiki
Mała encyklopedia logiki – polska encyklopedia wydana w roku 1970, wznowiona w zmienionej i rozszerzonej formie w roku 1988 przez Zakład Narodowy im. Ossolińskich,.
Nowy!!: Aksjomat Nicoda-Łukasiewicza i Mała encyklopedia logiki · Zobacz więcej »
Notacja polska
Notacja polska, zapis przedrostkowy, notacja Łukasiewicza, notacja prefiksowa, symbolika beznawiasowa – sposób zapisu wyrażeń logicznych (a później arytmetycznych), podający najpierw operator, a potem operandy (argumenty), który został wynaleziony w 1924, a pierwszy raz użyty w druku w 1929, przez polskiego (stąd nazwa) filozofa i logika Jana Łukasiewicza.
Nowy!!: Aksjomat Nicoda-Łukasiewicza i Notacja polska · Zobacz więcej »
Rachunek zdań
Rachunek zdań – dział logiki matematycznej badający związki między zmiennymi zdaniowymi (zdaniami) lub funkcjami zdaniowymi, utworzonymi za pomocąfunktorów zdaniotwórczych (spójników zdaniowych) ze zdań lub prostszych funkcji zdaniowych.
Nowy!!: Aksjomat Nicoda-Łukasiewicza i Rachunek zdań · Zobacz więcej »
Reguła odrywania
Reguła odrywania – oparta na prawie rachunku zdań modus ponens reguła przekształcania jednych formuł zdaniowych w inne formuły zdaniowe przyjmowana na gruncie rachunku zdań.
Nowy!!: Aksjomat Nicoda-Łukasiewicza i Reguła odrywania · Zobacz więcej »
Reguła podstawiania
Wielu ludzi wyznaje pogląd, zgodnie z którym dinozaury wyginęły archeopteryksa. Pogląd ''najwęższy klad zawierający wróbla i archeopteryksa wyginął'' już do popularnych nie należy. Pomimo takiego samego znaczenia obu wyrażeń identyczne zdanie z pierwszym może być prawdziwe, a z drugim fałszywe – niespełnienie zasady podstawiania świadczy o intensjonalności Reguła podstawiania, prawo Leibniza – jedno z kryteriów ekstensjonalności.
Nowy!!: Aksjomat Nicoda-Łukasiewicza i Reguła podstawiania · Zobacz więcej »
Stanisław Leśniewski (1886–1939)
Grób Stanisława Leśniewskiego na cmentarzu Powązkowskim Stanisław Leśniewski (ur. 28 marca lub 30 marca 1886 w Sierpuchowie, zm. 13 maja 1939 w Warszawie) – polski filozof i logik.
Nowy!!: Aksjomat Nicoda-Łukasiewicza i Stanisław Leśniewski (1886–1939) · Zobacz więcej »