Wikipedia:Skarbnica Wikipedii/Przegląd zagadnień z zakresu logiki
Indeks[edytuj | edytuj kod]
A - D - F - E - G - H - I - J - K - L - M - N - O - P - R - S - U - T - W - Z - Zobacz też
A[edytuj | edytuj kod]
aksjomat
- aksjomat wyboru
- algebra Boole'a
- alternatywa
- antynomia Berry'ego
- antynomia Richarda
- antynomia Russella
- automatyczne dowodzenie twierdzeń
(wróć do indeksu)
D[edytuj | edytuj kod]
dedukcja
- 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[edytuj | edytuj kod]
F[edytuj | edytuj kod]
fałsz
- filozofia logiki
- forma preneksowa
- forma zdaniowa
- formuła
- funkcja
- funkcja rekurencyjna
- funkcja zdaniowa
- funktor
- funktor zdaniotwórczy
(wróć do indeksu)
G[edytuj | edytuj kod]
H[edytuj | edytuj kod]
hipoteza continuum
- historia logiki
(wróć do indeksu)
I[edytuj | edytuj kod]
implikacja
- indukcja
- intuicjonizm
- izomorfizm
(wróć do indeksu)
J[edytuj | edytuj kod]
język
- język formalny
(wróć do indeksu)
K[edytuj | edytuj kod]
klasa 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[edytuj | edytuj kod]
Lemat
- Lemat Kuratowskiego-Zorna
- liczba porządkowa
- logika filozoficzna
- logika matematyczna
- logika modalna
- Logika prawnicza
- Logika rozmyta
- Logika wielowartościowa
(wróć do indeksu)
M[edytuj | edytuj kod]
- maszyna Turinga
- metajęzyk
- metalogika
- moc zbiorów
- model
- model Herbranda
(wróć do indeksu)
N[edytuj | edytuj kod]
nadzbiór
- nazwa
- negacja
- następnik porządkowy
(wróć do indeksu)
O[edytuj | edytuj kod]
obrazy i przeciwobrazy
- operacja
(wróć do indeksu)
P[edytuj | edytuj kod]
para 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[edytuj | edytuj kod]
rachunek 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[edytuj | edytuj kod]
semantyka
- semiotyka
- skolemizacja
- spójnik zdaniowy
- sofizmat
- stała
- sylogizm
- syntaktyka
- synteza logiczna
- system Hilberta
(wróć do indeksu)
T[edytuj | edytuj kod]
tabela 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[edytuj | edytuj kod]
wartość 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[edytuj | edytuj kod]
zał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)