16/06/19 04:58:12.14 qTwO0zaS.net
>>853
バカかw こっちはフリーズ状態で検索すら出来んのだ。
aを集合 とする。命題
(x∈a)→(x∈b)
が成り立つとき、aをbの部分集合といい a⊂b と書く。
特に、a≠b であるとき、aをbの真部分集合という。
922:１３２人目の素数さん
16/06/19 05:02:48.54 7/wN1++F.net
>>857
ははこれも曖昧だったか
要は日本語で書いてしまうと部分否定なのか全否定なのか分からんときがある、という主張があったということですな
923:１３２人目の素数さん
16/06/19 05:09:21.37 fJQswypL.net
>>839
偽の形の命題とは、真の命題の否定形。
曖昧と感じるのは、否定が命題のどの部分にかかっているかが曖昧な場合だろう。
曖昧さのために真偽が定まらなければ、それは命題ではないから、
「（偽の形の）命題｣と言った瞬間、そのような曖昧さは許されない。
924:１３２人目の素数さん
16/06/19 05:14:59.14 fJQswypL.net
私の理解では（間違ってるかもしれないが）、「全ての」と「任意の」は同義。
∀x∈R と for all x∈R は数学的には等価でどちらで書いてもよい。
925:１３２人目の素数さん
16/06/19 05:25:33.48 qTwO0zaS.net
>>853
>>860の訂正:
aを集合 とする。→ a,b を集合 とする。
926:１３２人目の素数さん
16/06/19 05:37:46.94 qTwO0zaS.net
>>863
>「全ての」と「任意の」は同義。
そのスタンスなら、「すべてのaは、bでない」といったら
「如何なるaについてもbではない」とも解釈出来
「すべてのaに対して、必ずしもbが成り立つとは限らない」とも
解釈出来るな。論理的にはそうなる。
927:１３２人目の素数さん
16/06/19 05:40:03.35 7/wN1++F.net
>>863
いや、あなたが正しいよ
for any とfor allは同じとしてよい
だけど命題を日本語で書き、最後に"でない"と否定で終えたとき、それを一般的な日本文としてみると、部分否定しているのか全部否定しているのか分からない、という話です
928:１３２人目の素数さん
16/06/19 06:00:19.02 qTwO0zaS.net
>>866
否定形の文でなくとも any は曖昧さが残る書き方のようだぞ。
それに対し、arbitrary だと曖昧さが残らない。
「すべて」のと「任意の」とを同義として扱うスタンスでは、
all は arbitrary に当たるよな。だから for any と for all は微妙に違うようだ。
929:１３２人目の素数さん
16/06/19 06:13:53.00 7/wN1++F.net
>>867
もうこの話題はええわw
あなたが主張したいことはなに？
>>872の言うことはもっともだと思うが。
帰納法について、貴方は何が言いたいの？
下にまとめてみな
930:１３２人目の素数さん
16/06/19 06:14:39.45 7/wN1++F.net
>>872じゃなくて>>862
931:１３２人目の素数さん
16/06/19 06:21:16.33 qTwO0zaS.net
>>868
それなら、いい。
何もいうことはない。
932:１３２人目の素数さん
16/06/19 06:25:44.69 fqrZFe1J.net
なるほど、俺の指摘はガン無視で「日本語」の問題にひたすら難癖つけてたわけか
だったら自分の主張する命題をまず論理記号使って書けよ
933:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています