>>50
例えば「判別式が正である２次方程式は相異なる２つの実数解をもつ」を記号で書くと
∀a∀b∀c((a∈R＼{0} ∧ b∈R ∧ c∈R ∧ b^2-4ac>0)→(∃α∃β(α∈R ∧ β∈R ∧ α≠β ∧ aα^2+bα+c=0 ∧ aβ^2+bβ+c=0)))