Szybszy dostęp niż przeglądarce!
14 kontakty: Aksjomat, Aksjomat Nicoda-Łukasiewicza, Alternatywa, Binegacja, Bramka logiczna, Charles Sanders Peirce, Elektronika, Eustachy Żyliński, Funkcja zdaniowa, Funktor zdaniotwórczy, Henry Sheffer, Jan Łukasiewicz, Janusz Onyszkiewicz, Tablica prawdy.
Aksjomat
Aksjomat, postulat, pewnik (gr. axíōma, godność, pewność, oczywistość) – jedno z podstawowych pojęć logiki matematycznej.
Nowy!!: Dysjunkcja (Sheffera) i Aksjomat · Zobacz więcej »
Aksjomat Nicoda-Łukasiewicza
Aksjomat Nicoda-Łukasiewicza – aksjomat rachunku zdań sformułowany przez Jeana Nicoda, uproszczony przez Jana Łukasiewicza.
Nowy!!: Dysjunkcja (Sheffera) i Aksjomat Nicoda-Łukasiewicza · Zobacz więcej »
Alternatywa
Alternatywa, suma logiczna, alternatywa zwykłaTaka nazwa jest niekiedy stosowana dla odróżnienia od alternatywy rozłącznej.
Nowy!!: Dysjunkcja (Sheffera) i Alternatywa · Zobacz więcej »
Binegacja
Bramka NOR – jeden z funktorów zdaniowych rachunku zdań; dwuargumentowa funkcja boolowska (funktor logiczny) realizująca zaprzeczonąsumę logiczną(NOT OR) – jest prawdziwa wtedy i tylko wtedy, gdy oba składniki sąfałszywe.
Nowy!!: Dysjunkcja (Sheffera) i Binegacja · Zobacz więcej »
Bramka logiczna
247x247px 200x200px 280x280px Bramka logiczna – element konstrukcyjny maszyn i mechanizmów (dziś zazwyczaj: układ scalony, choć podobne funkcje można zrealizować również za pomocąinnych rozwiązań technicznych, np. hydrauliki czy pneumatyki), realizujący fizycznie pewnąprostąfunkcję logiczną, której argumenty (zmienne logiczne) oraz sama funkcja mogąprzybierać jednąz dwóch wartości, np.
Nowy!!: Dysjunkcja (Sheffera) i Bramka logiczna · Zobacz więcej »
Charles Sanders Peirce
Charles Sanders Peirce (ur. 10 września 1839, zm. 19 kwietnia 1914) – amerykański naukowiec, filozof, twórca (obok Williama Jamesa) kierunku filozoficznego zwanego pragmatyzmem.
Nowy!!: Dysjunkcja (Sheffera) i Charles Sanders Peirce · Zobacz więcej »
Elektronika
thumb Elektronika – dziedzina techniki i nauki zajmująca się wytwarzaniem i przetwarzaniem sygnałów w postaci prądów i napięć elektrycznych lub pól elektromagnetycznych.
Nowy!!: Dysjunkcja (Sheffera) i Elektronika · Zobacz więcej »
Eustachy Żyliński
Eustachy Karol Żyliński (ur. 19 września 1889 w Kunie, zm. 4 lipca 1954 w Łodzi) – polski matematyk zajmujący się teoriąliczb, algebrą, logikąi podstawami matematyki.
Nowy!!: Dysjunkcja (Sheffera) i Eustachy Żyliński · Zobacz więcej »
Funkcja zdaniowa
Funkcja zdaniowa (inaczej predykat lub formuła zdaniowa, także forma zdaniowaZdzisław Opial, Zbiory, formy zdaniowe, relacje, Instytut Matematyki UJ - Okręgowy Ośrodek Metodyczny w Krakowie, Kraków 1970,.) to wyrażenie językowe zawierające zmienne wolne, które w wyniku związania tych zmiennych kwantyfikatorami lub podstawienia za nie odpowiednich wartości staje się zdaniem.
Nowy!!: Dysjunkcja (Sheffera) i Funkcja zdaniowa · 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!!: Dysjunkcja (Sheffera) i Funktor zdaniotwórczy · Zobacz więcej »
Henry Sheffer
Henry Maurice Sheffer (ur. 1 września 1882 na Ukrainie, zm. 17 marca 1964 w Cambridge w stanie Massachusetts) – amerykański logik.
Nowy!!: Dysjunkcja (Sheffera) i Henry Sheffer · 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!!: Dysjunkcja (Sheffera) i Jan Łukasiewicz · Zobacz więcej »
Janusz Onyszkiewicz
Senacie (2014) Sejmie RP (2008) Janusz Adam Onyszkiewicz (ur. 18 grudnia 1937 we Lwowie) – polski polityk, matematyk, alpinista, himalaista i speleolog, dwukrotny minister obrony narodowej (w latach 1992–1993 i 1997–2000), poseł na Sejm X, I, II i III kadencji, deputowany do Parlamentu Europejskiego VI kadencji, od 2004 do 2007 wiceprzewodniczący PE.
Nowy!!: Dysjunkcja (Sheffera) i Janusz Onyszkiewicz · Zobacz więcej »
Tablica prawdy
Tablica prawdy lub matryca logiczna – wprowadzony w XIX wieku przez logików amerykańskich, Charlesa Sandersa Peirce’a i Emila Leona Posta, układ tabelaryczny zero-jedynkowych kombinacji wartości logicznych argumentów danej funkcji zdaniowej i dokładnie zależących od nich wartości logicznych tejże funkcji zdaniowej, w którym prawdzie odpowiada wartość 1, a fałszowi przypisuje się wartość 0.
Nowy!!: Dysjunkcja (Sheffera) i Tablica prawdy · Zobacz więcej »
Przekierowuje tutaj:
Dysjunkcja (logika), Funktor Scheffera, Funktor sheffera, Kreska Scheffera, Kreska Sheffera, Kreska sheffera, NAND, Nand, Operacja Sheffera.
