数理論理学（数学基礎論） その12

[0818 １３２人目の素数さん 2018/05/17(木) 15:43:13.83 ID:oVgEyO5c]

"if P(x) then Q(x)" is defined to mean ∀x(〜P(x)vQ(x)) .