今読んでる本に間違い見つけたかもしれんから来てくれpart2

**それでも動く名無し** · 2023/05/01(月) 16:08:21.24

「ただ一つ存在する」ことを式にするときに

対象に適用する概念を関数E(x)として、
∃x(E(x)∧∀y(E(x)→x=y))とする．

ってな感じで書いてあるんやが∃x(E(x)∧∀y(E(y)→x=y))じゃないかと思って

**それでも動く名無し** · 2023/05/01(月) 16:09:00.74

すまんが中卒にも分かるように説明してクレメンス

**それでも動く名無し** · 2023/05/01(月) 16:09:07.57

ちょっとしか写せなかった、基本的には1レス目で書き尽くしてある
https://i.imgur.com/79OD1E4.jpg

**それでも動く名無し** · 2023/05/01(月) 16:09:16.73

伸びないスレ立て直しても同じ結果で終わるってなんでわからんの？

**それでも動く名無し** · 2023/05/01(月) 16:10:17.11

答え3やね

**それでも動く名無し** · 2023/05/01(月) 16:10:37.10

>>2
∃←存在する
∀←すべての
や、E()は特に意味ないで

**それでも動く名無し** · 2023/05/01(月) 16:11:09.53

>>4
誰かが答えてくれれば終わりや

**それでも動く名無し** · 2023/05/01(月) 16:12:19.54

すまん、注のとこでうまく写真とれなかった

**それでも動く名無し** · 2023/05/01(月) 16:15:42.13

イッチが著作権侵害しとるのはわかった

**それでも動く名無し** · 2023/05/01(月) 16:16:37.67

イッチの訂正で正解やで

**それでも動く名無し** · 2023/05/01(月) 16:18:35.56

>>10
サンガツ
よかったわ

**それでも動く名無し** · 2023/05/01(月) 16:19:03.07

二重否定使って式変形したら一個目の式の間違い分かりやすくなるで🤗

**それでも動く名無し** · 2023/05/01(月) 16:20:24.21

落としてくれ

**それでも動く名無し** · 2023/05/01(月) 16:20:47.95

はよ落とせ