шинж тэмдэгт томъёо
[1-1-5-1]日本語
述語論理式
英語
predicate formula
備考
∀, ∃ notation