俺「ブルバキでも読むか」 ブルバキ「論理記号は◻︎，τ，∨，¬である」 (14ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
11: 09/10(水)15:54 ID:98W7shKx(1/2) AAS
ブルバキ集合論１ 第一章を読みにくくしてるのは
中置記法の∈、＝、⋁を、前置記法にしたから
大したことではないのだが、慣れてないから気持ち悪い
τと□は>>3-4の通りで、意味が分かれば大したことではない
中置記法で記せば、それほど読みにくさはない
12: 09/10(水)15:59 ID:98W7shKx(2/2) AAS
前置記法にも良さはある
１＋２×３は、＋と×のどっちが先か分かりにくい
前置記法で書けば
× ＋ １ ２ ３ は （１＋２）×３
＋ １ × ２ ３ は １＋（２×３）
まあ、後置記法でも構わんけど
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.162s*