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



    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.

    Dysjunkcja, dyzjunkcja, dysjunkcja/dyzjunkcja Sheffera, funkcja Sheffera, funktor Sheffera, NAND, w terminologii Jana Łukasiewicza niewspółzachodzenie – zdanie lub funkcja zdaniowa utworzone za pomocą funktora dysjunkcji, jednego z dwuargumentowych funktorów zdaniotwórczych rachunku zdań. Symbolem funktora dysjunkcji jest przeważnie ukośna kreska /. W języku potocznym funktorowi temu odpowiada „nieprawda, że p i q” (ponieważ dysjunkcja jest negacją koniunkcji) por., . Pojęcie dysjunkcji wprowadził w 1913 Henry Sheffer. W terminologii angielskiej disjunction to polska alternatywa, odpowiednikiem polskiej dysjunkcji (Sheffera) jest natomiast alternative denial.

    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ń.

    Wartość logiczna[ | edytuj kod]

    Zdanie utworzone za pomocą spójnika dysjunkcji jest fałszywe tylko wtedy, gdy prawdziwe są oba argumenty tego spójnika; w przeciwnym wypadku jest zawsze zdaniem prawdziwym.

    gdzie: 1 – zdanie prawdziwe; 0 – fałszywe

    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).


    Podstrony: 1 [2] [3]




    Warto wiedzieć że... beta

    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.017 sek.