• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Negacja



    Podstrony: 1 [2] [3] [4]
    Przeczytaj także...
    Funktor zdaniotwórczy – wyrażenie, które wraz z innymi wyrażeniami, nazywanymi argumentami funktora, tworzy zdanie lub funkcję zdaniową.Algebra Boole’a – algebra ogólna stosowana w matematyce, informatyce teoretycznej oraz elektronice cyfrowej. Jej nazwa pochodzi od nazwiska matematyka, filozofa i logika George’a Boole’a. Teoria algebr Boole’a jest działem matematyki na pograniczu teorii częściowego porządku, algebry, logiki matematycznej i topologii.

    Negacja (z łac. negatio inaczej zaprzeczenie, ¬) – zdanie mające postać nieprawda, że p, gdzie p jest zdaniem. W rachunku zdań negacja zapisywana jest jako: (także lub ). Negację można zdefiniować ściślej jako jednoargumentowe działanie (funktor zdaniotwórczy) określone w zbiorze zdań, które każdemu zdaniu p przyporządkowuje zdanie nie p. Inne przyjęte sposoby odczytywania zdania to nieprawda, że p i nie jest tak, że p.

    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.Andrzej Grzegorczyk (ur. 22 sierpnia 1922 w Warszawie) – polski matematyk i filozof, specjalizujący się w logice, podstawach matematyki oraz matematycznych podstawach informatyki. W 1950 roku napisał pracę doktorską z matematyki pt. On topological spaces in Topologies without Points pod kierunkiem Andrzeja Mostowskiego. Autor podręcznika akademickiego Zarys logiki matematycznej (PWN, Warszawa 1961). Syn Piotra Grzegorczyka, historyka literatury polskiej.

    Definicja[ | edytuj kod]

    Niech będzie dwuelementowym zbiorem wartości logicznych: Negacja jest funkcją ze zbioru w zbiór , określoną następująco:

    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.Jerzy Słupecki (ur. 29 sierpnia 1904 w Harbinie (Mandżuria), zm. 15 stycznia 1987) – polski logik, związany ze szkołą lwowsko-warszawską.
    ,

    czyli .

    Negację zdania p uważa się za prawdziwą, gdy zdanie p jest fałszywe, zaś za fałszywą, gdy zdanie p jest prawdziwe.

    Andrzej Stanisław Mostowski (ur. 1 listopada 1913 we Lwowie, zm. 22 sierpnia 1975 w Vancouver, Kanada) – polski matematyk zajmujący się głównie podstawami matematyki, przedstawiciel warszawskiej szkoły matematycznej.Kazimierz Ajdukiewicz (ur. 12 grudnia 1890 w Tarnopolu, zm. 12 kwietnia 1963 w Warszawie) – polski filozof i logik, reprezentant szkoły lwowsko-warszawskiej, profesor Uniwersytetu Jana Kazimierza, Uniwersytetu im. Adama Mickiewicza i Uniwersytetu Warszawskiego, członek Polskiej Akademii Nauk i Polskiej Akademii Umiejętności.

    gdzie: 1 – prawda (lub zdanie prawdziwe) 0 – fałsz (lub zdanie fałszywe).

    Notacja[ | edytuj kod]

    Zestawienie symboli negacji, używanych przez różnych autorów:

    Do oznaczenia negacji stosowana jest także angielska partykuła NOT (funkcja boolowska).

    Podstrony: 1 [2] [3] [4]




    Warto wiedzieć że... beta

    Stanford Encyclopedia of Philosophy (SEP) jest ogólnie dostępną encyklopedią internetową filozofii opracowaną przez Stanford University. Każde hasło jest opracowane przez eksperta z danej dziedziny. Są wśród nich profesorzy z 65 ośrodków akademickich z całego świata. Autorzy zgodzili się na publikację on-line, ale zachowali prawa autorskie do poszczególnych artykułów. SEP ma 1260 haseł (stan na 20 stycznia 2011). Mimo, że jest to encyklopedia internetowa, zachowano standardy typowe dla tradycyjnych akademickich opracowań, aby zapewnić jakość publikacji (autorzy-specjaliści, recenzje wewnętrzne).
    Kwantyfikator – termin przyjęty w matematyce i logice matematycznej na oznaczenie zwrotów: dla każdego, istnieje takie i im pokrewnych, a także odpowiadającym im symbolom wiążacym zmienne w formułach. Są podstawowym elementem w rozwoju logiki pierwszego rzędu.
    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
    Klasyczny rachunek zdań – najpopularniejszy system formalny logiki matematycznej, w którym formuły reprezentujące zdania logiczne mogą być tworzone z formuł atomowych za pomocą wymienionego niżej zbioru aksjomatów.
    Helena Rasiowa (ur. 20 czerwca 1917 w Wiedniu, zm. 9 sierpnia 1994 w Warszawie) – polska matematyk, profesor Uniwersytetu Warszawskiego i Polskiej Akademii Nauk; zajmowała się logiką, algebrą (w tym algebrami Boole’a), teorią mnogości oraz informatyką teoretyczną. Autorka książki Wstęp do matematyki współczesnej, omawiającej zagadnienia z zakresu podstaw logiki i teorii mnogości.
    Zdanie w sensie logiki (zdanie logiczne) – wypowiedź, która stwierdza określony stan rzeczy. Zdanie z języka J stwierdza (na mocy reguł semantycznych J) stan rzeczy s zawsze i tylko wtedy, gdy na mocy reguł semantycznych języka J: zdanie z jest prawdziwe zawsze i tylko wtedy, gdy s a z jest fałszywe zawsze i tylko wtedy, gdy nie jest tak, że s.
    Wydawnictwo Naukowe PWN SA – wydawnictwo z siedzibą w Warszawie, założone w 1951, w obecnej formie prawnej działające od 1997. Wydawnictwo Naukowe PWN SA stanowi jednostkę dominującą Grupy kapitałowej PWN, w skład której wchodzi kilkanaście przedsiębiorstw, głównie wydawnictw.

    Reklama

    Czas generowania strony: 0.035 sek.