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