2020年11月30日 (月) 14:33時点における版編集 Euler0117 (トーク \| 投稿記録) 260 回編集編集の要約なしタグ: 2017年版ソースエディター ← 古い編集		2020年11月30日 (月) 16:55時点における版編集取り消し Euler0117 (トーク \| 投稿記録) 260 回編集 →‎量化記号タグ: 2017年版ソースエディター次の差分 →
29 行例 <math>\exists x\in\mathbb{R}, \forall y\in\mathbb{R}, xy = 0</math> この命題は、すべての実数<math>y</math>について<math>xy=0</math>となる実数<math>x</math>が存在する。という意味である。 {{stub}}

「数理論理学/述語論理」の版間の差分