Inhoudsopgave
5 relaties: Abstracte logica, Elementaire klasse, Logica, Modeltheorie, Stelling van Lindström.
- Wiskundige logica
Abstracte logica
In de wiskundige logica is een abstracte logica een formeel systeem, dat bestaat uit een klasse van zinnen en een voldoeningsrelatie met specifieke eigenschappen met betrekking tot voorkomen, expansie, isomorfisme, hernoeming en kwantificering.
Bekijken Sterkte (wiskundige logica) en Abstracte logica
Elementaire klasse
In de modeltheorie, een deelgebied van de wiskundige logica, is een elementaire klasse een klasse die bestaat uit alle structuren die voldoen aan een vaste eerste-ordetheorie.
Bekijken Sterkte (wiskundige logica) en Elementaire klasse
Logica
Boeken over logica Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren.
Bekijken Sterkte (wiskundige logica) en Logica
Modeltheorie
Modeltheorie is een deelgebied van de wiskundige logica en de wiskunde dat handelt over de relaties tussen puur formele uitdrukkingen en hun betekenis.
Bekijken Sterkte (wiskundige logica) en Modeltheorie
Stelling van Lindström
In de wiskundige logica zegt de stelling van Lindström (genoemd naar de Zweedse logicus Per Lindström) dat de eerste-orde logica de sterkste logica is die, mits deze voldoet aan bepaalde voorwaarden, zoals afsluiting onder logische negatie), zowel de (aftelbare) compactheidseigenschap als de (neerwaartse) Löwenheim-Skolem-eigenschap heeft.
Bekijken Sterkte (wiskundige logica) en Stelling van Lindström
Zie ook
Wiskundige logica
- Abstracte logica
- Algoritme
- Axioma's van Peano
- Bewijs door contrapositie
- Bewijstheorie
- Dedekind-getal
- Entscheidungsproblem
- Formele grammatica
- Formele semantiek
- Gödelnummer
- Gelijkheid (wiskunde)
- Grondslagen van de wiskunde
- Herschrijven (theoretische informatica)
- Indicatorfunctie
- Infinitesimaal
- Kripkemodel
- Lijst van wiskundige symbolen
- Literaal
- Logische equivalentie
- Mereologie
- Metawiskunde
- Modale logica
- Modeltheorie
- Onafhankelijkheid (wiskundige logica)
- Onvolledigheidsstellingen van Gödel
- Paradox van Cantor
- Programma van Hilbert
- Propositie
- Relatie (wiskunde)
- Stelling van König (verzamelingenleer)
- Stelling van Löwenheim-Skolem
- Stelling van Lindström
- Sterkte (wiskundige logica)
- Structurele inductie
- Surreëel getal
- Tautologie (logica)
- Tellen
- Term (wiskunde)
- Universele verzameling
- Variabele
- Verzamelingenleer
- Waarheid
- Wiskundig bewijs
- Wiskundige logica