Snellere toegang dan browser!
17 relaties: Bewijs uit het ongerijmde, Deductie, Existentiële generalisatie, Intuïtionisme, L.T.F. Gamut, Logica, Modus ponens, Predicatenlogica, Premisse (logica), Propositielogica, Redenering, Systeem van Fitch, Universele generalisatie, Universele instantiatie, Wet van de uitgesloten derde, Willem Remmelt de Jong, Wiskundig bewijs.
Bewijs uit het ongerijmde
Een bewijs uit het ongerijmde, Latijn reductio ad absurdum, herleiding tot het absurde, soms ook indirect bewijs genoemd, is een bewijsmethode in de logica en de wiskunde.
Nieuw!!: Natuurlijke deductie en Bewijs uit het ongerijmde · Bekijk meer »
Deductie
Deductie is een methode in de filosofie en in de logica, waarbij een gevolgtrekking wordt gemaakt uit het algemene naar het bijzondere - van de algemene regel (major-premisse) naar de bijzondere regel (minor-premisse) of waar de verzameling van premissen en de negatie van de conclusie inconsistent zijn.
Nieuw!!: Natuurlijke deductie en Deductie · Bekijk meer »
Existentiële generalisatie
In de predicatenlogica is existentiële generalisatie (EG) een afleidingsregel die uit een specifiek object uit het domein een propositie afleidt voor een object in het domein.
Nieuw!!: Natuurlijke deductie en Existentiële generalisatie · Bekijk meer »
Intuïtionisme
Het intuïtionisme is een grondslagenstroming in de wiskunde die rond 1900 opkwam en waarvan de Nederlandse wiskundigen L.E.J. Brouwer en Arend Heyting belangrijke vertegenwoordigers waren.
Nieuw!!: Natuurlijke deductie en Intuïtionisme · Bekijk meer »
L.T.F. Gamut
L.
Nieuw!!: Natuurlijke deductie en L.T.F. Gamut · Bekijk meer »
Logica
Boeken over logica Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren.
Nieuw!!: Natuurlijke deductie en Logica · Bekijk meer »
Modus ponens
Modus ponendo ponens (Latijn: wijs die door te stellen (bevestigen) stelt (bevestigt), ponere→"(neer) zetten"), kort modus ponens (soms afgekort tot MP), is een geldige propositionele redeneervorm met twee premissen, waarvan de eerste een voorwaardelijke uitspraak is: of in logische operatornotatie: De redenering heeft twee premissen.
Nieuw!!: Natuurlijke deductie en Modus ponens · Bekijk meer »
Predicatenlogica
Predicatenlogica is wiskundig-formele logica waarin expliciet predicaten voorkomen, waarmee eigenschappen van en relaties tussen verzamelingen objecten worden beschreven.
Nieuw!!: Natuurlijke deductie en Predicatenlogica · Bekijk meer »
Premisse (logica)
Een premisse is een vooronderstelling dat iets waar is.
Nieuw!!: Natuurlijke deductie en Premisse (logica) · Bekijk meer »
Propositielogica
De propositielogica is een tak van logica die zich bezighoudt met het redeneren met proposities.
Nieuw!!: Natuurlijke deductie en Propositielogica · Bekijk meer »
Redenering
Een redenering is een constructie van argumenten, beweringen, premissen en/of axioma's die tot een conclusie leidt.
Nieuw!!: Natuurlijke deductie en Redenering · Bekijk meer »
Systeem van Fitch
Het systeem van Fitch is een systeem om met natuurlijke deductie stellingen te bewijzen in de formele logica.
Nieuw!!: Natuurlijke deductie en Systeem van Fitch · Bekijk meer »
Universele generalisatie
In de predicatenlogica is universele generalisatie (UG) een afleidingsregel die uit een willekeurig object uit het domein een algemene propositie afleidt voor alle objecten in het domein.
Nieuw!!: Natuurlijke deductie en Universele generalisatie · Bekijk meer »
Universele instantiatie
In de predicatenlogica is universele instantiatie (UI) een afleidingsregel die uit een algemene propositie over alle objecten in een bepaald domein een propositie afleidt voor een specifiek object uit dat domein.
Nieuw!!: Natuurlijke deductie en Universele instantiatie · Bekijk meer »
Wet van de uitgesloten derde
De wet van de uitgesloten derde of van het uitgesloten midden, ook wel tertium non datur (Lat., "een derde is niet gegeven"), is een logische wet die inhoudt dat iedere uitspraak waar of onwaar is; een andere, derde, mogelijkheid is er niet.
Nieuw!!: Natuurlijke deductie en Wet van de uitgesloten derde · Bekijk meer »
Willem Remmelt de Jong
Willem Remmelt (Wim) de Jong (Heemstede, 1 mei 1946) is een emeritus hoogleraar in de wijsbegeerte en de logica.
Nieuw!!: Natuurlijke deductie en Willem Remmelt de Jong · Bekijk meer »
Wiskundig bewijs
zijde is. Het is een bewijs door constructie Een wiskundig bewijs is het volgens formele regels aantonen dat, gegeven bepaalde axioma's, een bepaalde stelling waar is.
Nieuw!!: Natuurlijke deductie en Wiskundig bewijs · Bekijk meer »
