• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Funktor zdaniotwórczy



    Podstrony: 1 [2] [3]
    Przeczytaj także...
    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.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. Rachunek zdań określa sposoby stosowania funktorów zdaniotwórczych w poprawnym wnioskowaniu.

    Funktor zdaniotwórczy – wyrażenie, które wraz z innymi wyrażeniami, nazywanymi argumentami funktora, tworzy zdanie lub funkcję zdaniową.

    Spis treści

  • 1 Wstęp
  • 2 Ekstensjonalność spójników
  • 3 Spójniki klasycznego rachunku zdań
  • 3.1 Definiowanie spójników
  • 3.2 Funktory KRZ a język naturalny
  • Równoważność (lub: ekwiwalencja) – twierdzenie, w którym teza jest warunkiem koniecznym jak i dostatecznym przesłanki. To zdanie zapisuje się za pomocą spójnika wtedy i tylko wtedy, gdy.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ń. W językach ekstensjonalnych zbiór desygnatów danego terminu można więc utożsamiać z jego znaczeniem.


    Podstrony: 1 [2] [3]



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

    Warto wiedzieć że... beta

    Logika modalna – teoria logiczna, która bada pojęcia możliwości, konieczności i ich wariantów. Niekiedy termin "logika modalna" rozumie się szerszej, włączając w jego obręb logiki epistemiczne, logiki temporalne, logiki deontyczne i logiki programów – niniejszy artykuł omawia jedynie logiki modalne w sensie wąskim (logiki modalne aletyczne) na przykładzie systemu S5.
    Zmienna – symbol, oznaczający wielkość, która może przyjmować rozmaite wartości. Wartości te na ogół należą do pewnego zbioru, który jest określony przez naturę rozważanego problemu. Zbiór ten nazywamy zakresem zmiennej.
    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. Koncentruje się ona na analizowaniu zasad rozumowania oraz pojęć z nim związanych z wykorzystaniem sformalizowanych oraz uściślonych metod i narzędzi matematyki.
    Denotacja – zakres danej nazwy (ekstensja), tj. zbiór jej desygnatów, czyli obiektów, o których powiedzenie "To jest N." będzie zdaniem prawdziwym. Denotacją nazwy "kot" jest zbiór wszystkich (przeszłych, obecnych i przyszłych) kotów.
    Koniunkcja – zdanie złożone mające postać p i q , gdzie p, q są zdaniami. W rachunku zdań koniunkcję zapisuje się symbolicznie jako: p ∧ q {displaystyle p,land ,q,!} . Przez koniunkcję rozumie się też zdanie mające postać p(1) i ... i p(n). Koniunkcję można zdefiniować precyzyjniej jako dwuargumentowe działanie określone w zbiorze zdań, które zdaniom p, q przyporządkowuje zdanie p i q
    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.
    Dysjunkcja (dyzjunkcja, dysjunkcja/dyzjunkcja Sheffera, funkcja 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 dysjunkcji odpowiada swobodnie funktor „bądź..., bądź...”. Wyrażenie "p / q" odczytywać można „bądź p, bądź q”, „albo p, albo q” (w znaczeniu „zachodzi najwyżej jedno z dwojga”, por.), jako że dysjunkcja jest negacją koniunkcji („nieprawda, że zarazem p i q”). Pojęcie dysjunkcji wprowadził w 1913 Henry Sheffer.

    Reklama

    Czas generowania strony: 0.033 sek.