Kategoria:Logika matematyczna

• Twierdzenia logiki matematycznej (3 kategorie, 14 stron)

A

• Aksjomaty matematyczne (1 kategoria, 11 stron)
• Automatyczne dowodzenie twierdzeń (1 kategoria, 16 stron)
• Automatyczne rozumowanie (2 kategorie, 4 strony)

D

• Dowody matematyczne (2 kategorie, 7 stron)

F

• Funkcje boolowskie (21 stron)

J

• Języki formalne (3 kategorie, 48 stron)

L

• Logicy matematyczni (20 stron)
• Logika rozmyta (9 stron)
• Logika temporalna (4 strony)

R

• Rachunek lambda (12 stron)
• Rachunek zdań (2 kategorie, 15 stron)
• Rekurencja (1 kategoria, 12 stron)
• Relacje (3 kategorie)
• Relacje matematyczne (3 kategorie, 12 stron)

T

• Teoria modeli (6 stron)

• Logika matematyczna

∴

• ∴

A

• Abstrakcja (matematyka)
• Aksjomat Nicoda-Łukasiewicza
• Algebra Boole’a
• Algebra Heytinga
• Algebra logiki
• Antynomia klas samozwrotnych
• Argumentowość
• Arytmetyzacja języka

D

• Definicja niepredykatywna
• Domknięcie uniwersalne
• Dowód indukcyjny
• Dowód Turinga
• Dychotomia
• Dysjunkcyjna postać normalna
• Dysjunkcyjny operator binarny
• Dziedzina formy zdaniowej

E

• Ekstensja funkcji zdaniowej

F

• Forma preneksowa
• Forma zdaniowa tożsamościowa
• Formuła atomowa
• Formuła logiczna
• Funkcja zdaniowa

I

• Ideał pierwszy (teoria mnogości)
• Implicent
• Implicent prosty
• Implikacja logiczna
• Implikant istotny
• Implikant prosty
• Indeksowanie termów
• Intuicjonistyczny rachunek zdań
• Intuicjonizm (matematyka)
• Izomorfizm Curry’ego-Howarda

J

• Język (logika)
• Język zdaniowy

K

• Klauzula (matematyka)
• Klauzula dualna
• Klauzula Horna
• Koniunkcyjna postać normalna
• Konstruktywizm w filozofii matematyki
• Kwantyfikator
• Kwantyfikator egzystencjalny
• Kwantyfikator ogólny
• Kwantyfikator rozgałęziony

L

• Logika algorytmiczna
• Logika Hoare’a
• Logika intuicjonistyczna
• Logika trójwartościowa
• Logika wielowartościowa

M

• M-wartościowanie
• Maksterm
• Matryca logiczna języka zdaniowego
• Mereologia
• Metalogika
• Metoda tablic semantycznych
• Minterm
• Model Kripkego
• Monadyczna algebra Boole’a

N

• Następstwo
• Niesprzeczność

O

• Ontologia Leśniewskiego
• Operacja konsekwencji
• Operator (logika)
• Operator konsekwencji
• Operator modalny

P

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

R

• Rachunek predykatów drugiego rzędu
• Rachunek predykatów pierwszego rzędu
• Rachunek zdaniowy
• Reguła dedukcyjna
• Reguła odrywania
• Reguły aksjomatyczne
• Rezolucja (matematyka)
• Rezolwenta
• Rozdzielność
• Rozwinięcie Herbranda

S

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

T

• Teoria (logika)
• Teoria dowodu
• Teoria pierwszego rzędu
• Teoria typów
• Term
• Topologiczna algebra Heytinga
• Twierdzenie
• Twierdzenie odwrotne
• Twierdzenie proste
• Twierdzenie przeciwne
• Twierdzenie przeciwstawne

U

• Unifikacja (logika)
• Uniwersum (matematyka)
• Uniwersum Herbranda
• Uniwersum języka
• Uogólnienie klasy pojęciowej
• Uogólnienie relacji
• Uogólnienie twierdzenia

W

• Wartościowanie (logika)
• Wartość logiczna
• Wnioskowanie w tył

Z

• Zbiór formuł zupełny z uwagi na język
• Zmienna (matematyka)