Inhoudsopgave
8 relaties: Afleidingsregel, Existentiële instantiatie, Kwantor (logica), Predicatenlogica, Propositie, Universele generalisatie, Universele instantiatie, Variabele.
Afleidingsregel
In de logica is een afleidingsregel een regel die uit een aantal proposities een propositie afleidt.
Bekijken Existentiële generalisatie en Afleidingsregel
Existentiële instantiatie
In de predicatenlogica is existentiële instantiatie (EI) een afleidingsregel die uit een propositie over een bepaald object uit het domein een propositie afleidt over een specifiek object in dat domein.
Bekijken Existentiële generalisatie en Existentiële instantiatie
Kwantor (logica)
Een kwantor (soms wordt ook quantor gebruikt) is een taalelement in de wiskunde, in het bijzonder in de logica.
Bekijken Existentiële generalisatie en Kwantor (logica)
Predicatenlogica
Predicatenlogica is wiskundig-formele logica waarin expliciet predicaten voorkomen, waarmee eigenschappen van en relaties tussen verzamelingen objecten worden beschreven.
Bekijken Existentiële generalisatie en Predicatenlogica
Propositie
Een propositie of bewering is in de logica een declaratieve zin die of waar of onwaar kan zijn.
Bekijken Existentiële generalisatie en Propositie
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.
Bekijken Existentiële generalisatie en Universele generalisatie
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.
Bekijken Existentiële generalisatie en Universele instantiatie
Variabele
In de wiskunde is een variabele een symbool dat een willekeurig wiskundig object representeert, bijvoorbeeld een getal, een verzameling of een functie.