Szybszy dostęp niż przeglądarce!
23 kontakty: Aksjomat, Algebra Boole’a, Alternatywa, Augustus De Morgan, Część wspólna, Dopełnienie zbioru, Funktor zdaniotwórczy, Indukcja matematyczna, Koniunkcja (logika), Kwantyfikator, Logika, Logika matematyczna, Negacja, Prawo podwójnej negacji, Różnica zbiorów, Rodzina zbiorów, Suma zbiorów, Tautologia (logika), Teoria (logika), Teoria mnogości, Twierdzenie, Wartość logiczna, Wydawnictwo Naukowe PWN.
Aksjomat
Aksjomat, postulat, pewnik (gr. axíōma, godność, pewność, oczywistość) – jedno z podstawowych pojęć logiki matematycznej.
Nowy!!: Prawa De Morgana i Aksjomat · Zobacz więcej »
Algebra Boole’a
Diagram Hassego dla algebry Boole’a podzbiorów zbioru trójelementowego Diagramy Venna dla operatorów algebry Boole’a Algebra Boole’a – pewien typ struktury algebraicznej, rodzaj algebry ogólnej stosowany w matematyce, informatyce teoretycznej oraz elektronice cyfrowej.
Nowy!!: Prawa De Morgana i Algebra Boole’a · Zobacz więcej »
Alternatywa
Alternatywa, suma logiczna, alternatywa zwykłaTaka nazwa jest niekiedy stosowana dla odróżnienia od alternatywy rozłącznej.
Nowy!!: Prawa De Morgana i Alternatywa · Zobacz więcej »
Augustus De Morgan
Augustus De Morgan Augustus De Morgan (ur. 27 czerwca 1806 w Maduraju, zm. 18 marca 1871 w Londynie) – angielski matematyk i logik.
Nowy!!: Prawa De Morgana i Augustus De Morgan · Zobacz więcej »
Część wspólna
Część wspólna, przekrój, przecięcie, iloczyn mnogościowy – zbiór zawierający te i tylko te elementy, które należąjednocześnie do obu/wszystkich wybranych zbiorów.
Nowy!!: Prawa De Morgana i Część wspólna · Zobacz więcej »
Dopełnienie zbioru
Diagram Venna: A^c jest dopełnieniem A względem U. Dopełnienie zbioru, uzupełnienie zbioru – zbiór wszystkich elementów (pewnego ustalonego nadzbioru), które do danego zbioru nie należą.
Nowy!!: Prawa De Morgana i Dopełnienie zbioru · Zobacz więcej »
Funktor zdaniotwórczy
Funktor zdaniotwórczy – wyrażenie, które wraz z innymi wyrażeniami, nazywanymi argumentami funktora, tworzy zdanie lub funkcję zdaniową.
Nowy!!: Prawa De Morgana i Funktor zdaniotwórczy · Zobacz więcej »
Indukcja matematyczna
Indukcja matematyczna – metoda dowodzenia twierdzeń o prawdziwości nieskończonej liczby stwierdzeń oraz definiowania rekurencyjnego (zob. osobna sekcja).
Nowy!!: Prawa De Morgana i Indukcja matematyczna · Zobacz więcej »
Koniunkcja (logika)
Koniunkcja – zdanie złożone mające postać p i q, gdzie p, q sązdaniami.
Nowy!!: Prawa De Morgana i Koniunkcja (logika) · Zobacz więcej »
Kwantyfikator
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ążącym zmienne w formułach.
Nowy!!: Prawa De Morgana i Kwantyfikator · Zobacz więcej »
Logika
Logika (gr. λόγος, logos – rozum, słowo, myśl) – nauka formalna o jasnym i ścisłym formułowaniu myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń.
Nowy!!: Prawa De Morgana i 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!!: Prawa De Morgana i Logika matematyczna · Zobacz więcej »
Negacja
Negacja (z łac. negatio), zaprzeczenie – pojęcie logiki i językoznawstwa o kilku znaczeniach.
Nowy!!: Prawa De Morgana i Negacja · Zobacz więcej »
Prawo podwójnej negacji
Prawo podwójnej negacji lub prawo podwójnego zaprzeczenia – reguła rachunku zdań, która stwierdza, że zaprzeczenie negacji zdania jest tym samym zdaniem (bardziej formalnie: jest równoważne ze zdaniem wyjściowym).
Nowy!!: Prawa De Morgana i Prawo podwójnej negacji · Zobacz więcej »
Różnica zbiorów
'''Różnica''' zbiorów B i A oznaczona kolorem fioletowym. Różnica zbiorów A i B – podzbiór zbioru A złożony z tych elementów, które nie należądo B, oznaczany A\setminus B – ukośnikiem wstecznym, niekiedy także minusem: A - B. Formalnie: co jest równoważne gdzie \Omega jest zbiorem wszystkich rozważanych elementów zwanym przestrzeniąlub ''uniwersum''.
Nowy!!: Prawa De Morgana i Różnica zbiorów · Zobacz więcej »
Rodzina zbiorów
Rodzina zbiorów – wygodniejsza, często używana nazwa na określenie „zbioru zbiorów”.
Nowy!!: Prawa De Morgana i Rodzina zbiorów · Zobacz więcej »
Suma zbiorów
Suma zbiorów (rzadko: unia zbiorów) – działanie algebry zbiorów.
Nowy!!: Prawa De Morgana i Suma zbiorów · Zobacz więcej »
Tautologia (logika)
Tautologia (wywodzi się od greckich słów tautós „ten sam” i lógos „mowa”) – wyrażenie, które jest zawsze prawdziwe.
Nowy!!: Prawa De Morgana i Tautologia (logika) · Zobacz więcej »
Teoria (logika)
Teoria – niesprzeczny zbiór zdań.
Nowy!!: Prawa De Morgana i Teoria (logika) · Zobacz więcej »
Teoria mnogości
zbiorów. Teoria mnogości, teoria zbiorów – dział matematyki zaliczany do jej działów podstawowych (fundamentalnych); bada on zbiory, zwłaszcza te nieskończone, a także ich uogólnienia jak klasy.
Nowy!!: Prawa De Morgana i Teoria mnogości · Zobacz więcej »
Twierdzenie
Twierdzenie – sformalizowana wypowiedź sądu, stosowana we wszystkich naukach ścisłych, składająca się z dwóch zbiorów zdań, które łączy relacja implikacji.
Nowy!!: Prawa De Morgana i Twierdzenie · Zobacz więcej »
Wartość logiczna
Wartość logiczna – podstawowa cecha zdania określająca jego stosunek do faktów.
Nowy!!: Prawa De Morgana 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!!: Prawa De Morgana i Wydawnictwo Naukowe PWN · Zobacz więcej »
