Prädikatenlogik

die

[pʁɛdiˈkaːtn̩ˌloːɡɪk]Zelfstandig naamwoord

Definities

predicatenlogica- systeem voor de weergave van beweringen, dat op predicaten en kwantoren is gebaseerd; de algemene termen van een bewering worden in de predicatenlogica door variabelen vervangen en geformaliseerd

System zur Darstellung von Aussagen, welches auf Prädikaten und Quantoren aufbaut; die generellen Termini einer Aussage werden in der Prädikatenlogik durch Variablen ersetzt und formalisiert

„Da es sich hierbei um Beziehungszahlen handelt, reicht die bisherige Prädikatenlogik zu ihrer Definition nicht aus.“

“Aangezien het hier om relatiegetallen gaat, is de tot nu toe bestaande predicatenlogica niet voldoende voor hun definitie.”