俺「ブルバキでも読むか」 ブルバキ「論理記号は◻︎，τ，∨，¬である」 (14ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
3(1): 09/07(日)14:12 ID:CTxYlvA3(1/4) AAS
性質Rが任意に与えられた場合、性質Rを持つxが恒に存在するとは限らない
もしそのようなxが一つであったならば、その一つをτxRという記号で表す
性質Rを持つxが一つも存在しない場合は、τxRは任意の一つの対象を表すことにする
∃xRとは、R(τxR)のことである
11: 09/10(水)15:54 ID:98W7shKx(1/2) AAS
ブルバキ集合論１ 第一章を読みにくくしてるのは
中置記法の∈、＝、⋁を、前置記法にしたから
大したことではないのだが、慣れてないから気持ち悪い
τと□は>>3-4の通りで、意味が分かれば大したことではない
中置記法で記せば、それほど読みにくさはない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.191s*