[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2ch.scのread.cgiへ]
Update time : 04/12 00:54 / Filesize : 432 KB / Number-of Response : 1055
[このスレッドの書き込みを削除する]
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧] [類似スレッド一覧]

↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

スレタイ 箱入り無数目を語る部屋17

807 名前：１３２人目の素数さん [2024/03/15(金) 18:13:58.84 ID:ATM0vb6x.net]
>>762
>・∀x∈ℕ.∃(x+1).x<x+1
>・∀x∈ℕ.∃y.x<y
>この二つの式は意味違うし

意味違うとわめく根拠は、後者のｙは例えばx+2でもいいとか、そういうことかい？

じゃ、以下は同じ意味かい

∀x ∈ ℕ. x<x+1∧∀z ∈ ℕ. x<z ⇒ x+1<=z
∀x ∈ ℕ. ∃y ∈ ℕ. x<y∧∀z ∈ ℕ. x<z ⇒ y<=z




[ 続きを読む ] / [ 携帯版 ]
全部読む 前100 次100 最新50 ▲ [ このスレをブックマーク！ 携帯に送る ] 2chのread.cgiへ
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧]（；´∀｀）＜432KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef