A

• [+] Automatyczne dowodzenie twierdzeń (1 kategoria, 14 stron)

F

• [+] Funkcje boolowskie (14 stron)

J

• [+] Języki formalne (3 kategorie, 43 strony)

L

• [+] Logika rozmyta (4 strony)

P

• [+] Prawa rachunku zdań (8 stron)

R

• [+] Rachunek lambda (14 stron)
• [+] Rekursja (14 stron)
• [+] Relacje (3 kategorie, 19 stron)

*

• Logika matematyczna

A

• Aksjomat
• Aksjomat indukcji
• Aksjomat klasycznego rachunku predykatów
• Aksjomaty Zermelo-Fraenkela
• Algebra Boole'a
• Antynomia klas samozwrotnych
• Argumentowość
• Arytmetyzacja języka

C

• Cecha (logika)
• Currying

D

• Derywacja formuły zdaniowej w oparciu o zbiór formuł zdaniowych
• Domknięcie uniwersalne
• Dowód (matematyka)
• Dowód formuły zdaniowej w oparciu o zbiór aksjomatów klasycznego rachunku predykatów
• Dowód indukcyjny
• Dowód nie wprost
• Dowód niekonstruktywny
• Dowód wprost
• Dysjunkcja (logika)
• Dysjunkcyjna postać normalna
• Dysjunkcyjny operator binarny
• Dziedzina formy zdaniowej

E

• Ekstensja funkcji zdaniowej

F

• Forma preneksowa
• Forma zdaniowa sprzeczna
• Forma zdaniowa tożsamościowa
• Formalizacja rachunku zdań
• Formuła atomowa
• Formuła logiczna
• Funkcja zdaniowa
• Funktor intensjonalny
• Funktor zdaniotwórczy

I

• Implikacja logiczna
• Implikacja materialna
• Implikant prosty
• Indeksowanie termów
• Indukcja matematyczna
• Indukcja strukturalna
• Intuicjonizm (matematyka)
• Izomorfizm Curry'ego-Howarda

J

• Język (logika)
• Język formalny

K

• Klauzula (matematyka)
• Klauzula Horna

K cd.

• Klauzula dualna
• Koniunkcyjna postać normalna
• Kontrtautologia
• Kwantyfikator
• Kwantyfikator egzystencjalny
• Kwantyfikator ogólny

L

• Lemat
• Lemat Lindenbauma
• Logika Hoare'a
• Logika algorytmiczna
• Logika temporalna
• Logika trójwartościowa
• Logika wielowartościowa
• Logika wolna

M

• M-wartościowanie
• Matryca logiczna
• Metalogika
• Metoda Quine'a-McCluskeya
• Metoda iteracyjnego konsensusu
• Model Herbranda
• Modus ponendo ponens
• Modus tollendo ponens
• Modus tollens
• Monadyczna algebra Boole'a

N

• Niesprzeczność

O

• Obliczalność zbioru twierdzeń
• Operacja konsekwencji
• Operator (logika)
• Operator modalny

P

• Pojęcie pierwotne
• Postać normalna (matematyka)
• Prawa rachunku kwantyfikatorów
• Prawda (logika)
• Prawdziwość formuły zdaniowej
• Predykat
• Problem nierozstrzygalny
• Problem spełnialności

R

• Rachunek predykatów pierwszego rzędu
• Rachunek zdań
• Reguły aksjomatyczne
• Rezolucja (matematyka)
• Rezolwenta
• Rozwinięcie Herbranda

S

• Schemat aksjomatu
• Skolemizacja
• Spełnialność formuł logicznych

S cd.

• Spełnialność formuły zdaniowej
• Spełnianie formuły zdaniowej
• Sprzeczny zbiór formuł zdaniowych
• Stała logiczna
• Symbol funkcyjny
• Symbol relacyjny
• System formalny
• System funkcjonalnie pełny

T

• Tautologia
• Teoria (logika)
• Teoria dowodu
• Teoria modeli
• Teoria pierwszego rzędu
• Teoria rekursji
• Term
• Teza klasycznego rachunku predykatów
• Twierdzenie
• Twierdzenie Craiga
• Twierdzenie Gödla
• Twierdzenie Herbranda
• Twierdzenie Löwenheima-Skolema
• Twierdzenie Zermelo
• Twierdzenie o dedukcji
• Twierdzenie o zwartości
• Twierdzenie odwrotne
• Twierdzenie proste
• Twierdzenie przeciwne
• Twierdzenie przeciwstawne

U

• Ultraprodukt
• Uniwersum (matematyka)
• Uniwersum Herbranda

W

• Wartościowanie (logika)
• Wartość logiczna
• Wartość termu przy M-wartościowaniu
• Warunek konieczny
• Warunek wystarczający
• Wnioskowanie
• Wnioskowanie w tył
• Wynikanie logiczne

Z

• Zasada ekstensjonalności
• Zbiór formuł zupełny z uwagi na język
• Zbiór wszystkich konsekwencji logicznych zbioru formuł zdaniowych
• Zbiór wszystkich konsekwencji zbioru formuł zdaniowych
• Zdanie logiczne
• Zmienna (matematyka)
• Zmienna zdaniowa