NichiDict

述語論理

じゅつごろんり
[jutsugoronri]

Meanings

1.Noun

predicate logic; predicate calculus