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