Przegląd zagadnień z zakresu logiki

Z Wikipedii

[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

Ekstensja funkcji zdaniowej -

[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)

[edytuj] Zobacz też

• logicy