Kategoria:Logika matematyczna

• Twierdzenia logiki matematycznej‎ (3 kategorie, 10 stron)

A

• Automatyczne dowodzenie twierdzeń‎ (1 kategoria, 15 stron)

D

• Dowody matematyczne‎ (2 kategorie, 7 stron)

F

• Funkcje boolowskie‎ (20 stron)

J

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

L

• Logika rozmyta‎ (8 stron)
• Logika temporalna‎ (4 strony)

R

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

S

• Spójniki logiczne‎ (9 stron)

T

• Teoria modeli‎ (6 stron)

• Logika matematyczna

∴

• ∴

A

• Abstrakcja (matematyka)
• Aksjomat
• Aksjomat indukcji
• 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
• Modus tollens
• Monadyczna algebra Boole’a

N

• 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 odrywania
• Reguły aksjomatyczne
• Rezolucja (matematyka)
• Rezolwenta
• Rozwinięcie Herbranda

S

• Schemat aksjomatu
• 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

• Tablica prawdy
• 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
• Zbiór wszystkich konsekwencji logicznych zbioru formuł zdaniowych
• Zbiór wszystkich konsekwencji zbioru formuł zdaniowych
• Zmienna (matematyka)