• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Dysjunkcja - Sheffera



    Podstrony: [1] [2] 3
    Przeczytaj także...
    Funktor zdaniotwórczy – wyrażenie, które wraz z innymi wyrażeniami, nazywanymi argumentami funktora, tworzy zdanie lub funkcję zdaniową.Eustachy Żyliński (ur. 19 września 1889 w Kunie, zm. w 1954 w Łodzi) – polski matematyk zajmujący się teorią liczb, algebrą, logiką i podstawami matematyki.
    Przypisy[ | edytuj kod]
    1. Wiktor Marek, Janusz Onyszkiewicz, Elementy logiki i teorii mnogości w zadaniach, Wydawnictwo Naukowe PWN, Warszawa 2012, ​ISBN 978-83-01-14547-7​, s. 8.
    2. Henry M. Sheffer. A set of five independent postulates for Boolean algebras, with application to logical constants. „Transactions of the American Mathematical Society”. 14, s. 481–488, 1913. American Mathematical Society (ang.). 
    3. Charles S. Peirce: A Boolian [!] algebra with one constant. W: Collected papers of Charles Sanders Peirce. Charles Hartshorne; Paul Weiss; Arthur W. Burks (red.). T. 4. Cambridge, Massachusetts: Harvard University Press, 1931–1958, s. 12–20. OCLC 928433.
    4. Eustachy Żyliński. Some remarks concerning the theory of deduction. „Fundamenta Mathematicae”. 7, s. 203–209, 1925. Institute of Mathematics Polish Academy of Sciences (ang.). 

    Linki zewnętrzne[ | edytuj kod]

  • Artykuł Nicoda A Reduction in the number of the Primitive Propositions of Logic w Wikisource
  • 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. Odpowiada wyrażeniu „ani … ani…”. Jego znaczenie przedstawia poniższa tablica prawdy: Aksjomat Nicoda-Łukasiewicza - aksjomat rachunku zdań sformułowany przez Jeana Nicoda, uproszczony przez Jana Łukasiewicza. Jest to aksjomat dzięki któremu zbudować można jednoaksjomatowy system rachunku zdań oparty wyłącznie na dysjunkcji Sheffera, zwany dysjunkcyjnym systemem logiki zdań.


    Podstrony: [1] [2] 3



    w oparciu o Wikipedię (licencja GFDL, CC-BY-SA 3.0, autorzy, historia, edycja)

    Warto wiedzieć że... beta

    Aksjomat (postulat, pewnik) (gr. αξιωμα [aksíoma] – godność, pewność, oczywistość) – jedno z podstawowych pojęć logiki matematycznej. Od czasów Euklidesa uznawano, że aksjomaty to zdania przyjmowane za prawdziwe, których nie dowodzi się w obrębie danej teorii matematycznej. We współczesnej matematyce definicja aksjomatu jest nieco inna:
    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. 0 lub 1 (zob. algebra Boole’a).
    Henry Maurice Sheffer (ur. 1 września 1882 na Ukrainie, zm. 17 marca 1964 w Cambridge w stanie Massachusetts) – amerykański logik.
    Prof. Jan Łukasiewicz (ur. 21 grudnia 1878 we Lwowie, zm. 13 lutego 1956 w Dublinie) – polski logik, matematyk, filozof, rektor Uniwersytetu Warszawskiego.
    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, od 2004 do 2009 poseł do Parlamentu Europejskiego (do 2007 wiceprzewodniczący PE, a od 2007 wiceprzewodniczący Komisji Spraw Zagranicznych PE).
    Charles Sanders Peirce (ur. 10 września 1839, zm. 19 kwietnia 1914) – naukowiec, filozof amerykański, twórca (obok Williama Jamesa) kierunku filozoficznego zwanego pragmatyzmem. Autor ważnych prac poświęconych metodzie nauki oraz logice relacji.
    Funkcja zdaniowa (inaczej predykat lub formuła zdaniowa) to wyrażenie językowe zawierające zmienne wolne, które w wyniku związania tych zmiennych kwantyfikatorami lub podstawienia za nie odpowiednich nazw staje się zdaniem.

    Reklama

    Czas generowania strony: 0.008 sek.