Prädikatenlogik

die

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

定義

述語論理- 述語と量化子に基づいて命題を表す体系、命題の一般名辞は変項によって置き換えられ形式化される

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

「これらは関係数であるため、これまでの述語論理ではその定義に不十分である。」