Wikipedia:Skarbnica Wikipedii/Przegląd zagadnień z zakresu logiki
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3a/Lexikon2_pol8_nik2.jpg/80px-Lexikon2_pol8_nik2.jpg)
Indeks
edytujA - D - F - E - G - H - I - J - K - L - M - N - O - P - R - S - U - T - W - Z - Zobacz też
A
edytujaksjomat
- aksjomat wyboru
- algebra Boole'a
- alternatywa
- antynomia Berry'ego
- antynomia Richarda
- antynomia Russella
- automatyczne dowodzenie twierdzeń
(wróć do indeksu)
D
edytujdedukcja
- dedukcja naturalna
- definicja
- desygnat
- dopełnienie zbioru
- dowód
- dysjunkcja
- dysjunkcyjna postać normalna
- dysjunkcyjny operator binarny
- działania na zbiorach
- działania uogólnione na zbiorach
(wróć do indeksu)
E
edytujF
edytujfałsz
- filozofia logiki
- forma preneksowa
- forma zdaniowa
- formuła
- funkcja
- funkcja rekurencyjna
- funkcja zdaniowa
- funktor
- funktor zdaniotwórczy
(wróć do indeksu)
G
edytujH
edytujI
edytujimplikacja
- indukcja
- intuicjonizm
- izomorfizm
(wróć do indeksu)
J
edytujK
edytujklasa abstrakcji
- klasyczny rachunek logiczny
- klauzula
- klauzula dualna
- klauzula Horna
- koła Eulera
- koniunkcja
- koniunkcyjna postać normalna
- koniunkcyjny operator binarny
- kontrtautologia
- kryterium podziału
- kwantyfikator
- kwantyfikator egzystencjalny
- kwantyfikator ogólny
(wróć do indeksu)
L
edytujLemat
- Lemat Kuratowskiego-Zorna
- liczba porządkowa
- logika filozoficzna
- logika matematyczna
- logika modalna
- Logika prawnicza
- Logika rozmyta
- Logika wielowartościowa
(wróć do indeksu)
M
edytuj- maszyna Turinga
- metajęzyk
- metalogika
- moc zbiorów
- model
- model Herbranda
(wróć do indeksu)
N
edytujnadzbiór
- nazwa
- negacja
- następnik porządkowy
(wróć do indeksu)
O
edytujP
edytujpara uporządkowana
- paradoks
- paradoks kłamcy
- podzbiór
- podział logiczny
- pojęcie pierwotne
- postać normalna
- pragmatyka
- prawa de Morgana
- prawa rachunku kwantyfikatorów
- prawda
- prawo kontrapozycji
- prawo podwójnej negacji
- prawo sprzeczności
- prawo wyłączonego środka
(wróć do indeksu)
R
edytujrachunek kwantyfikatorów
- rachunek predykatów pierwszego rzędu
- rachunek zdań
- rekursja
- relacja
- relacja porządku
- relacja równoważności
- rozstrzygalność
- równoliczność
- równoważność
(wróć do indeksu)
S
edytujsemantyka
- semiotyka
- skolemizacja
- spójnik zdaniowy
- sofizmat
- stała
- sylogizm
- syntaktyka
- synteza logiczna
- system Hilberta
(wróć do indeksu)
T
edytujtabela prawdy
- tautologia
- teoria
- teoria dowodu
- teoria mnogości
- teoria modeli
- teoria rekursji
- term
- twierdzenie
- twierdzenie Gödla
- twierdzenie naukowe
- twierdzenie o zwartości
- twierdzenie trywialne
- typ porządkowy
(wróć do indeksu)
W
edytujwartość logiczna
- warunek konieczny
- warunek wystarczający
- własności funkcji
- wnioskowanie
- wnioskowanie w przód
- wnioskowanie w tył
- wykres formy zdaniowej
(wróć do indeksu)
Z
edytujzałożeniowy system rachunku zdań
- zasada ekstensjonalności
- zdanie w sensie logicznym
- zbiór Hintikki
- zbiór potęgowy
- zbiór rozmyty
- zmienna wolna
- zmienna zdaniowa
- zmienna związana
(wróć do indeksu)