俺「ブルバキでも読むか」 ブルバキ「論理記号は◻︎，τ，∨，¬である」 (14ﾚｽ)
俺「ブルバキでも読むか」 ブルバキ「論理記号は◻︎，τ，∨，¬である」 http://rio2016.5ch.net/test/read.cgi/math/1757220431/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
3: １３２人目の素数さん [] 2025/09/07(日) 14:12:16.07 ID:CTxYlvA3 性質Rが任意に与えられた場合、性質Rを持つxが恒に存在するとは限らない もしそのようなxが一つであったならば、その一つをτxRという記号で表す 性質Rを持つxが一つも存在しない場合は、τxRは任意の一つの対象を表すことにする ∃xRとは、R(τxR)のことである http://rio2016.5ch.net/test/read.cgi/math/1757220431/3
11: １３２人目の素数さん [] 2025/09/10(水) 15:54:41.46 ID:98W7shKx ブルバキ集合論１ 第一章を読みにくくしてるのは 中置記法の∈、＝、⋁を、前置記法にしたから 大したことではないのだが、慣れてないから気持ち悪い τと□は>>3-4の通りで、意味が分かれば大したことではない 中置記法で記せば、それほど読みにくさはない http://rio2016.5ch.net/test/read.cgi/math/1757220431/11
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.192s*