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.

10 relaties: Abstracte logica, Afsluiting (verzameling), Logica, Logische negatie, Per Lindström, Predicatenlogica, Stelling van Löwenheim-Skolem, Sterkte (wiskundige logica), Wiskundige logica, Zweden.

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.

Nieuw!!: Stelling van Lindström en Abstracte logica · Bekijk meer »

Afsluiting (verzameling)

In de wiskunde is de afsluiting van een verzameling A ten aanzien van een bepaalde eigenschap, de kleinste verzameling met die eigenschap waarvan A een deelverzameling is.

Nieuw!!: Stelling van Lindström en Afsluiting (verzameling) · Bekijk meer »

Logica

Boeken over logica Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren.

Nieuw!!: Stelling van Lindström en Logica · Bekijk meer »

Logische negatie

Logische negatie of ontkenning is een operatie in de natuurlijke talen, logica en wiskunde die de waarheidswaarde van een propositie verandert van waar in onwaar en van onwaar in waar.

Nieuw!!: Stelling van Lindström en Logische negatie · Bekijk meer »

Per Lindström

Per Lindström (onbekend, 9 april 1936 - Göteborg, 21 augustus 2009) was een Zweedse logicus naar wie de stelling van Lindström en de Lindström-kwantor zijn vernoemd.

Nieuw!!: Stelling van Lindström en Per Lindström · Bekijk meer »

Predicatenlogica

Predicatenlogica is wiskundig-formele logica waarin expliciet predicaten voorkomen, waarmee eigenschappen van en relaties tussen verzamelingen objecten worden beschreven.

Nieuw!!: Stelling van Lindström en Predicatenlogica · Bekijk meer »

Stelling van Löwenheim-Skolem

In de wiskundige logica stelt de stelling van Löwenheim-Skolem dat, als een aftelbare eerste-ordetheorie een oneindig model heeft, het dan voor elk oneindig kardinaalgetal κ een model van grootte κ heeft.

Nieuw!!: Stelling van Lindström en Stelling van Löwenheim-Skolem · Bekijk meer »

Sterkte (wiskundige logica)

De relatieve sterkte van twee systemen van formele logica kan worden gedefinieerd door middel van de modeltheorie.

Nieuw!!: Stelling van Lindström en Sterkte (wiskundige logica) · Bekijk meer »

Wiskundige logica

De wiskundige logica is een deelgebied van de wiskunde.

Nieuw!!: Stelling van Lindström en Wiskundige logica · Bekijk meer »

Zweden

Zweden, officieel het Koninkrijk Zweden (Zweeds:; Noord-Samisch), is een Scandinavisch land in Noord-Europa.

Nieuw!!: Stelling van Lindström en Zweden · Bekijk meer »

Richt hier:

Stelling van Lindstrom.

Unionpedia is een concept map of een semantisch netwerk organiseerde als een encyclopedie of een woordenboek. Het geeft een korte omschrijving van elk concept en haar relaties.

Dit is een enorme online mentale kaart die dient als basis voor concept diagrammen. Het is gratis te gebruiken en elk artikel of document kan worden gedownload. Het is een hulpmiddel, resource of verwijzing voor studie, onderzoek, onderwijs, het leren of onderwijs, die kunnen worden gebruikt door docenten, onderwijzers, leerlingen of studenten; voor de academische wereld: voor school, primaire, secundaire, middelbare school, midden, universiteit, technische opleiding, universiteit, bachelor, master of doctoraal niveau; for papers, rapporten, projecten, ideeën, documentatie, enquêtes, samenvattingen, of scriptie. Hier is de definitie, uitleg, beschrijving, of de betekenis van elke significante waarop u informatie nodig, en een lijst van de bijbehorende concepten als een verklarende woordenlijst. Verkrijgbaar in het Nederlands, Engels, Spaans, Portugees, Japans, Chinees, Frans, Duits, Italiaans, Pools, Russisch, Arabisch, Hindi, Zweeds, Oekraïens, Hongaars, Catalaans, Tsjechisch, Hebreeuws, Deens, Fins, Indonesisch, Noors, Roemeense, Turks, Vietnamees, Koreaans, Thais, Grieks, Bulgaars, Kroatisch, Slowaaks, Litouws, Filipino, Lets, Ests en Sloveens. Meer talen binnenkort.

Alle informatie werd gehaald uit Wikipedia, en het is beschikbaar onder de licentie Creative Commons Naamsvermelding/Gelijk delen.

Unionpedia wordt niet onderschreven door of gelieerd aan de Wikimedia Foundation.

Google Play, Android en het logo van Google Play zijn handelsmerken van Google Inc.

Privacybeleid