Wikipedia:Skarbnica Wikipedii/Przegląd zagadnień z zakresu logiki

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.

 

Indeks

A - D - F - E - G - H - I - J - K - L - M - N - O - P - R - S - U - T - W - Z - Zobacz też

---

A

aksjomat - aksjomat wyboru - algebra Boole'a - alternatywa - antynomia Berry'ego - antynomia Richarda - antynomia Russella - automatyczne dowodzenie twierdzeń
   (wróć do indeksu)

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)

E

Ekstensja funkcji zdaniowej -

F

fałsz - filozofia logiki - forma preneksowa - forma zdaniowa - formuła - funkcja - funkcja rekurencyjna - funkcja zdaniowa - funktor - funktor zdaniotwórczy
   (wróć do indeksu)

H

hipoteza continuum - historia logiki
   (wróć do indeksu)

I

implikacja - indukcja - intuicjonizm - izomorfizm
   (wróć do indeksu)

J

język - język formalny
   (wróć do indeksu)

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)

L

Lemat - Lemat Kuratowskiego-Zorna - liczba porządkowa - logika filozoficzna - logika matematyczna - logika modalna - Logika prawnicza - Logika rozmyta - Logika wielowartościowa
   (wróć do indeksu)

M

- maszyna Turinga - metajęzyk - metalogika - moc zbiorów - model - model Herbranda
   (wróć do indeksu)

N

nadzbiór - nazwa - negacja - następnik porządkowy
   (wróć do indeksu)

O

obrazy i przeciwobrazy - operacja
   (wróć do indeksu)

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)

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)

S

semantyka - semiotyka - skolemizacja - spójnik zdaniowy - sofizmat - stała - sylogizm - syntaktyka - synteza logiczna - system Hilberta
   (wróć do indeksu)

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)

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)

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)

Zobacz też

• logicy