Szybszy dostęp niż przeglądarce!
37 kontakty: Alternatywa, Alternatywa rozłączna, Bertrand Russell, Biblioteka Matematyczna, Binegacja, Charles Sanders Peirce, David Hilbert, Denotacja, Dysjunkcja (Sheffera), Działanie jednoargumentowe, Ekstensjonalność, Ernst Schröder, Eustachy Żyliński, Fałsz, Funkcja tożsamościowa, Funkcja zdaniowa, Giuseppe Peano, Implikacja ścisła, Implikacja materialna, Jan Łukasiewicz, Koniunkcja (logika), Logika matematyczna, Logika modalna, Negacja, Notacja polska, Prawda (logika), Predykat, Rachunek zdań, Równoważność, Spójnik (część mowy), Stała logiczna, Tablica prawdy, Wartość logiczna, Wydawnictwo Naukowe PWN, Zdanie logiczne, Zmienna (matematyka), Zmienna zdaniowa.
Alternatywa
Alternatywa, suma logiczna, alternatywa zwykłaTaka nazwa jest niekiedy stosowana dla odróżnienia od alternatywy rozłącznej.
Nowy!!: Funktor zdaniotwórczy i Alternatywa · Zobacz więcej »
Alternatywa rozłączna
bramki logicznej alternatywy rozłącznej Alternatywa rozłączna, alternatywa wyłączająca, ekskluzja, alternatywa wykluczająca, różnica symetryczna, suma poprzeczna, suma modulo 2, kontrawalencja, XOR – logiczny funktor zdaniotwórczy (dwuargumentowa funkcja boolowska).
Nowy!!: Funktor zdaniotwórczy i Alternatywa rozłączna · Zobacz więcej »
Bertrand Russell
Bertrand Russell w roku 1893 Bertrand Russell w roku 1907 Bertrand Arthur William Russell, 3.
Nowy!!: Funktor zdaniotwórczy i Bertrand Russell · Zobacz więcej »
Biblioteka Matematyczna
Biblioteka Matematyczna – seria wydawnicza Państwowego Wydawnictwa Naukowego obejmująca 75 podręczników akademickich z różnych dziedzin matematyki.
Nowy!!: Funktor zdaniotwórczy i Biblioteka Matematyczna · 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!!: Funktor zdaniotwórczy i Binegacja · 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!!: Funktor zdaniotwórczy i Charles Sanders Peirce · Zobacz więcej »
David Hilbert
problemów Hilberta w tle. David Hilbert (ur. 23 stycznia 1862 w Królewcu (Prusy Wschodnie), zm. 14 lutego 1943 w Getyndze) – niemiecki matematyk.
Nowy!!: Funktor zdaniotwórczy i David Hilbert · Zobacz więcej »
Denotacja
Denotacja – zakres danej nazwy N (jej ekstensja), tj.
Nowy!!: Funktor zdaniotwórczy i Denotacja · Zobacz więcej »
Dysjunkcja (Sheffera)
Dysjunkcja, dyzjunkcjaWiktor Marek, Janusz Onyszkiewicz, Elementy logiki i teorii mnogości w zadaniach, Wydawnictwo Naukowe PWN, Warszawa 2012,, s. 8.
Nowy!!: Funktor zdaniotwórczy i Dysjunkcja (Sheffera) · Zobacz więcej »
Działanie jednoargumentowe
Działanie jednoargumentowe (unarne, jednoczłonowe) – działanie algebraiczne przyporządkowujące każdemu elementowi danego zbioru jakiś jeden element tego samego zbioru.
Nowy!!: Funktor zdaniotwórczy i Działanie jednoargumentowe · Zobacz więcej »
Ekstensjonalność
Ekstensjonalność to własność języka lub pewnych jego struktur, polegająca na tym, że w języku tym bądź w otoczeniu owych struktur językowych podstawienia terminów mających ten sam zbiór desygnatów nie zmieniająprawdziwości zdań.
Nowy!!: Funktor zdaniotwórczy i Ekstensjonalność · Zobacz więcej »
Ernst Schröder
Ernst Schröder, pełne imię Ernst Friedrich Wilhelm Karl (ur. 25 listopada 1841 w Mannheimie, zm. 16 czerwca 1902 w Karlsruhe) – niemiecki matematyk, znany przede wszystkim z prac w dziedzinie logiki matematycznej i teorii algebry Boole’a.
Nowy!!: Funktor zdaniotwórczy i Ernst Schröder · 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!!: Funktor zdaniotwórczy i Eustachy Żyliński · Zobacz więcej »
Fałsz
Fałsz – jedna z dwóch podstawowych wartości logicznych (drugąjest prawda). Fałsz jest niezgodnościątreści sądu (zdania) z tym, do czego się odnosi. W logice matematycznej fałsz jest jedynie symbolem, nie ma żadnego głębszego znaczenia. W mowie potocznej i logice tradycyjnej za fałsz uważa się stwierdzenie czegoś, co nie miało miejsca w rzeczywistości lub zaprzeczenie czemuś, co miało miejsce. W pozytywizmie logicznym uwzględnia się też wartość not even false, dla twierdzeń nieweryfikowalnych, co oznacza, że dane zdanie nie ma w ogóle sensu faktycznego, czyli nie odnosi się do żadnych faktów. W matematyce przy danym układzie aksjomatów niektóre twierdzenia sąnierozstrzygalne, a więc nie sąani prawdziwe ani fałszywe.
Nowy!!: Funktor zdaniotwórczy i Fałsz · Zobacz więcej »
Funkcja tożsamościowa
Funkcja tożsamościowa (funkcja identycznościowa, tożsamość, identyczność) – funkcja danego zbioru w siebie, która każdemu argumentowi przypisuje jego samego.
Nowy!!: Funktor zdaniotwórczy i Funkcja tożsamościowa · 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!!: Funktor zdaniotwórczy i Funkcja zdaniowa · Zobacz więcej »
Giuseppe Peano
''Aritmetica generale e algebra elementare'', 1902 Giuseppe Peano (ur. 27 sierpnia 1858 w Spinetta, zm. 20 kwietnia 1932 w Turynie) – włoski matematyk i logik.
Nowy!!: Funktor zdaniotwórczy i Giuseppe Peano · Zobacz więcej »
Implikacja ścisła
W logice ścisły tryb warunkowy (symbol: \Box, lub ⥽) jest implikacjązarządzanąprzez operator modalny, czyli spójnik logiki modalnej.
Nowy!!: Funktor zdaniotwórczy i Implikacja ścisła · Zobacz więcej »
Implikacja materialna
Implikacja, implikacja materialna (w odróżnieniu od implikacji formalnej, tj. wynikania) – zdanie logiczne lub funkcja zdaniowa powstałe przez połączenie dwóch zdań p (poprzednik implikacji) i q (następnik implikacji) spójnikiem implikacji p \to q. Spójnik implikacji jest spójnikiem ekstensjonalnym – implikacja przyjmuje wartości logiczne zależące jedynie od wartości logicznych łączonych zdań.
Nowy!!: Funktor zdaniotwórczy i Implikacja materialna · 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!!: Funktor zdaniotwórczy i Jan Łukasiewicz · Zobacz więcej »
Koniunkcja (logika)
Koniunkcja – zdanie złożone mające postać p i q, gdzie p, q sązdaniami.
Nowy!!: Funktor zdaniotwórczy i Koniunkcja (logika) · Zobacz więcej »
Logika matematyczna
Logika matematyczna – dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki.
Nowy!!: Funktor zdaniotwórczy i Logika matematyczna · Zobacz więcej »
Logika modalna
Logika modalna – teoria logiczna, która bada pojęcia możliwości, konieczności i ich wariantów.
Nowy!!: Funktor zdaniotwórczy i Logika modalna · Zobacz więcej »
Negacja
Negacja (z łac. negatio), zaprzeczenie – pojęcie logiki i językoznawstwa o kilku znaczeniach.
Nowy!!: Funktor zdaniotwórczy i Negacja · 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!!: Funktor zdaniotwórczy i Notacja polska · Zobacz więcej »
Prawda (logika)
Prawda – jedna z dwóch podstawowych wartości logicznych.
Nowy!!: Funktor zdaniotwórczy i Prawda (logika) · Zobacz więcej »
Predykat
Predykat – wieloznaczny termin mogący oznaczać.
Nowy!!: Funktor zdaniotwórczy i Predykat · 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!!: Funktor zdaniotwórczy i Rachunek zdań · Zobacz więcej »
Równoważność
Równoważność (lub: ekwiwalencja) – twierdzenie, w którym teza jest warunkiem koniecznym, jak i dostatecznym przesłanki.
Nowy!!: Funktor zdaniotwórczy i Równoważność · Zobacz więcej »
Spójnik (część mowy)
Spójnik – wyraz łączący dwa zdania, równoważniki zdań lub wyrażenia w jedno zdanie złożone.
Nowy!!: Funktor zdaniotwórczy i Spójnik (część mowy) · Zobacz więcej »
Stała logiczna
Stała logiczna – obok zmiennych i ewentualnie znaków interpunkcyjnych jeden z typów wyrażeń słownika teorii logicznej.
Nowy!!: Funktor zdaniotwórczy i Stała logiczna · 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!!: Funktor zdaniotwórczy i Tablica prawdy · Zobacz więcej »
Wartość logiczna
Wartość logiczna – podstawowa cecha zdania określająca jego stosunek do faktów.
Nowy!!: Funktor zdaniotwórczy i Wartość logiczna · Zobacz więcej »
Wydawnictwo Naukowe PWN
Wydawnictwo Naukowe PWN (WN PWN), w latach 1951–1991 Państwowe Wydawnictwo Naukowe (PWN) – polskie wydawnictwo naukowe założone w 1951 w Warszawie jako Państwowe Wydawnictwo Naukowe.
Nowy!!: Funktor zdaniotwórczy i Wydawnictwo Naukowe PWN · Zobacz więcej »
Zdanie logiczne
Zdanie logiczne – podstawowa kategoria syntaktyczna, będąca jednocześnie formąwypowiedzi, mającej na celu określenie stanu faktycznego danej rzeczy.
Nowy!!: Funktor zdaniotwórczy i Zdanie logiczne · Zobacz więcej »
Zmienna (matematyka)
Zmienna – symbol oznaczający wielkość, która może przyjmować rozmaite wartości.
Nowy!!: Funktor zdaniotwórczy i Zmienna (matematyka) · Zobacz więcej »
Zmienna zdaniowa
Zmienna zdaniowa – bezargumentowy symbol w rachunku zdań.
Nowy!!: Funktor zdaniotwórczy i Zmienna zdaniowa · Zobacz więcej »
Przekierowuje tutaj:
Funktor prawdziwościowy, Funktor zdaniowy, Konektyw, Spójnik (logika), Spójnik zdaniotwórczy, Spójnik zdaniowy, Stałe logiczne.
