Logika
Oto lista pojęć związanych z logiką, które znajdują się (niebieskie) lub powinny się znaleźć (czerwone) w polskiej Wikipedii. Oczywiście listę tę można rozszerzać. Podstawowe zagadnienia z innych dziedzin wiedzy znajdziesz na liście przegląd dziedzin wiedzy.
edytuj Indeks:
A - D - F - E - G - H - I - J - K - L - M - N - O - P - R - S - U - T - W - Z - Zobacz też
edytuj A
aksjomat - aksjomat wyboru - algebra Boole'a - alternatywa - antynomia Berry'ego - antynomia Richarda - antynomia Russella - automatyczne dowodzenie twierdzeń
(wróć do indeksu)
edytuj D
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)
edytuj E
edytuj F
fałsz - filozofia logiki - forma preneksowa - forma zdaniowa - formuła - funkcja - funkcja rekurencyjna - funkcja zdaniowa - funktor - funktor zdaniotwórczy
(wróć do indeksu)
edytuj G
edytuj H
hipoteza continuum - historia logiki
(wróć do indeksu)
edytuj I
implikacja - indukcja - intuicjonizm - izomorfizm
(wróć do indeksu)
edytuj J
język - język formalny
(wróć do indeksu)
edytuj K
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)
edytuj L
lemat - lemat Kuratowskiego-Zorna - liczba porządkowa - logika filozoficzna - logika matematyczna - logika modalna - logika rozmyta - logika wielowartościowa
(wróć do indeksu)
edytuj M
- maszyna Turinga - metajęzyk - metalogika - moc zbiorów - model - model Herbranda
(wróć do indeksu)
edytuj N
nadzbiór - nazwa - negacja - następnik porządkowy
(wróć do indeksu)
edytuj O
obrazy i przeciwobrazy - operacja
(wróć do indeksu)
edytuj P
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)
edytuj R
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)
edytuj S
semantyka - semiotyka - skolemizacja - spójnik zdaniowy - sofizmat - stała - sylogizm - syntaktyka - synteza logiczna - system Hilberta
(wróć do indeksu)
edytuj T
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)
edytuj W
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)
edytuj Z
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)