Inhoudsopgave
8 relaties: Afleidingsregel, Existentiële generalisatie, Existentiële instantiatie, Kwantor (logica), Predicatenlogica, Propositie, Universele instantiatie, Variabele.
Afleidingsregel
In de logica is een afleidingsregel een regel die uit een aantal proposities een propositie afleidt.
Bekijken Universele generalisatie en Afleidingsregel
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.
Bekijken Universele generalisatie en Existentiële generalisatie
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 Universele 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 Universele 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 Universele generalisatie en Predicatenlogica
Propositie
Een propositie of bewering is in de logica een declaratieve zin die of waar of onwaar kan zijn.
Bekijken Universele generalisatie en Propositie
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 Universele 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.