述語 じゅつご論理 ろんりだろう
jutsu goronridarō

Noun
Da Copula

Expresses probability ("probably…") of 述語論理

1. Probably predicate logic.

Presumptive
Conjecture