俺「ブルバキでも読むか」 ブルバキ「論理記号は◻︎，τ，∨，¬である」at MATH俺「ブルバキでも読むか」 ブルバキ「論理記号は◻︎，τ，∨，¬である」 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト1:１３２人目の素数さん 25/09/07 13:47:11.86 cL1kwaR1.net ブルバキ「この意味は次第に明らかになる」 諦めた 2:１３２人目の素数さん 25/09/07 13:47:42.43 uHmjA6ig.net 働け爺 3:１３２人目の素数さん 25/09/07 14:12:16.07 CTxYlvA3.net 性質Rが任意に与えられた場合、性質Rを持つxが恒に存在するとは限らない もしそのようなxが一つであったならば、その一つをτxRという記号で表す 性質Rを持つxが一つも存在しない場合は、τxRは任意の一つの対象を表すことにする ∃xRとは、R(τxR)のことである 4:１３２人目の素数さん 25/09/07 14:27:51.32 CTxYlvA3.net τxは、命題Rに対象τxRを対応させる作用素である のみならず、τxがRに含まれる変数ｘに関係した作用素である この場合、Rに含まれる変数xは、表現τxRにおいては、 Rの中で現れる場所を支持するに過ぎず、文字xで示されようと、 他のどんな文字で示されようと問題ではない そこで、xとかyとかいう文字の代わりに □という場所を示す一つの記号を用いる 例えば τx(x∈y)を ┌┐ τ（□∈ｙ） と表し、 τy(τx(x∈y)∈y)とを ┌────┬─┐ │┌┐ │ │ τ（τ（□∈□)∈□） と表すことにする ここで、□とτとを結ぶ線（鎖(lien)と呼ぶ）は、 二つ以上のτが用いられている場合、 どのτがどの□に対応しているか 明示するためのものである 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch