14 kontakty: Aksjomat, Algebra Boole’a, Algebra ogólna, Intuicjonistyczny rachunek zdań, Język zdaniowy, Logika matematyczna, Matryca logiczna języka zdaniowego, Prawa De Morgana, Rachunek zdaniowy, Reguła odrywania, Reguła wnioskowania, System formalny, Twierdzenie o dedukcji, Zdanie logiczne.
Aksjomat
Aksjomat, postulat, pewnik (gr. axíōma, godność, pewność, oczywistość) – jedno z podstawowych pojęć logiki matematycznej.
Nowy!!: Klasyczny rachunek zdań 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!!: Klasyczny rachunek zdań i Algebra Boole’a · Zobacz więcej »
Algebra ogólna
Algebra (ogólna) czasem: algebra uniwersalna lub abstrakcyjna – to ciąg postaci gdzie.
Nowy!!: Klasyczny rachunek zdań i Algebra ogólna · Zobacz więcej »
Intuicjonistyczny rachunek zdań
Intuicjonistyczny rachunek zdań, INT, w wersji inwariantnej – rachunek zdaniowy w języku klasycznego rachunku zdań z regułąodrywania jako jedynąpierwotnąregułąwnioskowania oraz aksjomatami następującej postaci: | Ax_1 \alpha\to(\beta\to \alpha) | prawo poprzedzania |- | Ax_2 \to | sylogizm Fregego |- | Ax_3 \alpha\wedge \beta\to \alpha | prawo opuszczania koniunkcji, 1. |- | Ax_4 \alpha\wedge \beta\to \beta | prawo opuszczania koniunkcji, 2. |- | Ax_5 (\alpha\to \beta)\to | prawo wprowadzania koniunkcji |- | Ax_6 \alpha\to \alpha\vee \beta | prawo wprowadzania alternatywy, 1. |- | Ax_7 \beta\to \alpha\vee \beta | prawo wprowadzania alternatywy, 2. |- | Ax_8 (\beta\to \alpha)\to | prawo łączenia implikacji |- | Ax_9 (\alpha\leftrightarrow \beta)\to(\alpha\to \beta) | prawo opuszczania równoważności, 1. |- | Ax_ (\alpha\leftrightarrow \beta)\to(\beta\to \alpha) | prawo opuszczania równoważności, 2. |- | Ax_ (\alpha\to \beta)\to | prawo wprowadzania równoważności |- | Ax_ \alpha\to(\neg \alpha\to \beta) | prawo przepełnienia |- | Ax_ (\alpha\to\neg \alpha)\to\neg \alpha | prawo redukcji do absurdu | Zwracamy uwagę na brak (silnego) prawa podwójnego przeczenia: \neg\neg p\to p, którego dodanie do aksjomatyki INT tworzy aksjomatykę klasycznego rachunku zdań.
Nowy!!: Klasyczny rachunek zdań i Intuicjonistyczny rachunek zdań · Zobacz więcej »
Język zdaniowy
Język zdaniowy – trójka \mathcal.
Nowy!!: Klasyczny rachunek zdań i Język zdaniowy · 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!!: Klasyczny rachunek zdań i Logika matematyczna · Zobacz więcej »
Matryca logiczna języka zdaniowego
Matryca logiczna dla języka zdaniowego \mathcal sygnatury \varsigma – para \mathcal.
Nowy!!: Klasyczny rachunek zdań i Matryca logiczna języka zdaniowego · Zobacz więcej »
Prawa De Morgana
Prawa De Morgana – zestaw reguł w logice matematycznej i teorii mnogości wiążących ze sobąpary spójników, kwantyfikatorów lub działań na zbiorach za pomocąnegacji lub funkcji dopełnienia zbioru.
Nowy!!: Klasyczny rachunek zdań i Prawa De Morgana · Zobacz więcej »
Rachunek zdaniowy
Rachunek zdaniowy – system formalny w zbiorze formuł pewnego języka zdaniowego.
Nowy!!: Klasyczny rachunek zdań i Rachunek zdaniowy · Zobacz więcej »
Reguła odrywania
Reguła odrywania – oparta na prawie rachunku zdań modus ponens reguła przekształcania jednych formuł zdaniowych w inne formuły zdaniowe przyjmowana na gruncie rachunku zdań.
Nowy!!: Klasyczny rachunek zdań i Reguła odrywania · Zobacz więcej »
Reguła wnioskowania
Niech E będzie dowolnym zbiorem.
Nowy!!: Klasyczny rachunek zdań i Reguła wnioskowania · Zobacz więcej »
System formalny
System formalny – język formuł (logiki) wraz ze zbiorem reguł wyprowadzania (wywodu) i zwykle zbiorem aksjomatów.
Nowy!!: Klasyczny rachunek zdań i System formalny · Zobacz więcej »
Twierdzenie o dedukcji
Twierdzenie o dedukcji – jeżeli A jest zdaniem oraz B\in \operatorname_L (X\cup \), to formuła zdaniowa A\to B należy do zbioru \operatorname_L(X), gdzie \operatorname_L(X) to zbiór wszystkich konsekwencji logicznych zbioru formuł zdaniowych X.
Nowy!!: Klasyczny rachunek zdań i Twierdzenie o dedukcji · Zobacz więcej »
Zdanie logiczne
Zdanie logiczne – podstawowa kategoria syntaktyczna, będąca jednocześnie formąwypowiedzi, mającej na celu określenie stanu faktycznego danej rzeczy.
Nowy!!: Klasyczny rachunek zdań i Zdanie logiczne · Zobacz więcej »