Prädikatenlogik

die

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

Définitions

logique des prédicats- système de représentation d'énoncés qui repose sur des prédicats et des quantificateurs ; les termes généraux d'un énoncé y sont remplacés par des variables et formalisés

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.“

« Puisqu'il s'agit ici de nombres de relations, la logique des prédicats actuelle ne suffit pas pour les définir. »