Kategoria:Logika predykatów
Strony w kategorii „Logika predykatów”
D
Domena dyskursu
E
Egzystencjalna instancja
F
Formuła atomowa
Funkcja zdaniowa
I
Intensywna logika
K
Klasa Bernaysa-Schönfinkela
Klauzula (matematyka)
Kwantyfikator (logika)
L
Logika funktorów predykatów
Logika pierwszego rzędu
Logika punktu stałego
Logika wyższego rzędu
M
Mereologia
N
Niezależność założenia
O
Opis hasła
P
Paradoks pijaka
Paradoks temperatury
Predykat (logika matematyczna)
Predykat drugiego rzędu
Predykat pierwszego rzędu
Pusta domena
R
Rachunek predykatów monadycznych
Ranga kwantyfikatora
Reguła formacji
Rozszerzenie (logika predykatów)
T
Tłumaczenie standardowe
U
Uniwersalna instancja
Uniwersalne uogólnienie
Uogólnienie egzystencjalne
Z
Zakres (logika)
Zasady indukcji, ograniczeń i najmniejszych liczb
Zdanie atomowe
Zdanie logiczne
Zmienna predykatu
Zmienne swobodne i zmienne związane
Ś
Świat Tarskiego