述語計算

じゅご・けさんjutsugo·keisan4

N.
Logik, Math. Prädikatenkalkül m m.