Kategoria:Logika matematyczna

A

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

F

• [×] Funkcje boolowskie‎ (19 stron)

J

• [+] Języki formalne‎ (3 kategorie, 51 stron)

L

• [×] Logika rozmyta‎ (6 stron)

P

• [×] Prawa rachunku zdań‎ (12 stron)

R

• [×] Rachunek lambda‎ (15 stron)

R cd.

• [×] Rekurencja‎ (13 stron)
• [+] Relacje‎ (3 kategorie, 26 stron)

T

• [×] Teoria modeli‎ (6 stron)

• Logika matematyczna

A

• Aksjomat
• Aksjomat indukcji
• Algebra Boole'a
• Antynomia klas samozwrotnych
• Argumentowość
• Arytmetyzacja języka

B

• Baza Herbranda

D

• Derywacja formuły zdaniowej w oparciu o zbiór formuł zdaniowych
• Domknięcie uniwersalne
• Dowód (matematyka)
• Dowód indukcyjny
• Dowód nie wprost
• Dowód niekonstruktywny
• Dowód wprost
• Dychotomia
• 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

• Ideał pierwszy (teoria mnogości)
• Implicent
• Implicent istotny
• Implicent prosty
• Implikacja logiczna
• Implikacja materialna
• Implikant istotny
• Implikant prosty
• Indeksowanie termów
• Indukcja matematyczna
• Indukcja strukturalna
• Intuicjonizm (matematyka)
• Izomorfizm Curry'ego-Howarda

J

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

K

• Klasyczny rachunek zdań
• Klauzula (matematyka)
• Klauzula dualna
• Klauzula Horna

K cd.

• Koniunkcyjna postać normalna
• Kontrtautologia
• Kwantyfikator
• Kwantyfikator egzystencjalny
• Kwantyfikator ogólny
• Kwantyfikator rozgałęziony

L

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

M

• M-wartościowanie
• Maksterm
• Matryca logiczna języka zdaniowego
• Metalogika
• Metamatematyka
• Minterm
• Modus ponendo ponens
• Modus tollendo ponens
• Modus tollens
• Monadyczna algebra Boole'a

N

• Niesprzeczność

O

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

P

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

R

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

S

• Schemat aksjomatu
• Skolemizacja

S cd.

• Spełnialność formuł logicznych
• 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

• Tablica prawdy
• Tautologia (logika)
• Teoria (logika)
• Teoria dowodu
• Teoria pierwszego rzędu
• Teoria rekursji
• Term
• Teza klasycznego rachunku predykatów
• Twierdzenie
• Twierdzenie Craiga
• Twierdzenie Gödla
• Twierdzenie Herbranda
• Twierdzenie Lindenbauma
• Twierdzenie o dedukcji
• Twierdzenie o dobrym uporządkowaniu
• Twierdzenie o filtrze pierwszym
• Twierdzenie o reprezentacji dla krat rozdzielnych
• Twierdzenie o zwartości
• Twierdzenie odwrotne
• Twierdzenie proste
• Twierdzenie przeciwne
• Twierdzenie przeciwstawne
• Twierdzenie Zermelo

U

• Uniwersum (matematyka)
• Uniwersum Herbranda
• Uniwersum języka

W

• Wartościowanie (logika)
• Wartość logiczna
• 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