Kategória:Matematikai logika

• Matematikai logika

A

• A matematikai logika története
• Alapkifejezés
• Axióma
• Axiomatikus-deduktív módszer

B

• Bikondicionális
• Bitművelet
• Boole-algebra (struktúra)

C

• Curry paradoxonja

D

• De Morgan-azonosságok
• Diszjunkció
• Diszjunktív normálforma

E

• Egyenlőség (matematika)
• Egységszaporítás
• Elsőrendű logika
• Elsőrendű nyelv
• Értékréses logika
• Esetszétválasztás szabálya

F

• Fogalomírás
• Formális logika

G

• Gödel első nemteljességi tétele
• Gödel második nemteljességi tétele
• Gödel teljességi tétele

H

• Herbrand-interpretáció
• Herbrand-univerzum
• Horn-kielégíthetőség
• Horn-klóz

I

• Igazhalmaz
• Igazságérték
• Indirekt bizonyítás

K

• Konjunkció (logika)
• Konjunktív normálforma
• Következtetési sémák a formális logikában
• Kvantor (logika)

L

• Lambda-kalkulus
• Logikai ekvivalencia
• Logikai kapu
• Logikai művelet
• Logikai kalkulus

M

• Matematikai struktúra
• Megfordítás (logika)
• Modális logika
• Modellelmélet

N

• Negáció

P

• Parciálisan rekurzív függvény
• Peano-aritmetika
• Prenex-formula
• Prolog

R

• Reguláris kifejezés
• Rezolúció
• Russell-paradoxon

S

• Skolem-normálforma

Sz

• Szekvenskalkulus

T

• Tautológia (logika)
• Teljes indukció
• Term
• Típus (modellelmélet)
• Típuselkerülési tétel

V

• Végtelen leszállás