「Pならば¬P」って矛盾って言える？

[0001 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:05:56.432 ID:EZ724in40]

論理詳しい人おせーて

[0002 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:06:45.525 ID:H6STayxKd]

空集合は開集合であり閉集合である

[0003 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:07:41.974 ID:EZ724in40]

>>2
日本語でしゃべってくれません

[0004 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:08:49.577 ID:H6STayxKd]

これはだめか
空でないコンパクト集合に対してのみ開集合と閉集合が互いに補集合なのかな

[0005 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:09:57.958 ID:EZ724in40]

>>4
わからん

[0006 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:10:42.195 ID:updhje380]

私は嘘しか言いません的な

[0007 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:11:55.022 ID:cKrYVU9H0]

>>4
意味がわかってないことはあんま言わない方がいいぞ

[0008 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:12:48.086 ID:H6STayxKd]

>>7
どっかおかしい？

[0009 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:13:19.520 ID:EZ724in40]

>>6
そういう意味になるのか？

[0010 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:13:35.797 ID:H6STayxKd]

コンパクトは関係無いってこと？

[0011 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:13:51.575 ID:SxBnBuH4M]

このままではいけないならば、このままではいけない

[0012 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:14:32.659 ID:cKrYVU9H0]

>>8
全てがおかしい

[0013 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:14:57.307 ID:cKrYVU9H0]

>>10
コンパクトどころか位相自体関係ないしそもそも言ってる内容が理解不能

[0014 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:15:26.775 ID:H6STayxKd]

>>12
コンパクトでない集合に対しても開集合と閉集合は補集合だよね

[0015 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:15:52.045 ID:H6STayxKd]

>>13
一例を考えただけでは？

[0016 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:17:33.763 ID:JOi6BBCy0]

Pは「偽」で矛盾はありませんね

[0017 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:17:48.986 ID:H6STayxKd]

コンパクトでない集合のコンパクトな部分集合の補集合はコンパクトでない

[0018 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:18:00.236 ID:cKrYVU9H0]

>>15
開集合の補集合が閉集合←定義だし、一例を考える意味がわからない
それ以上にスレタイと何の関係もなくて謎

[0019 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:18:26.976 ID:H6STayxKd]

>>18
それは位相の取り方次第では？

[0020 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:18:49.441 ID:cKrYVU9H0]

>>19
位相のとり方次第ってどの部分を言ってる？

[0021 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:19:10.434 ID:H6STayxKd]

開集合系以外でも位相は定義できるやで

[0022 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:20:23.067 ID:EZ724in40]

>>16
真ならば偽って矛盾とは言えないん？

[0023 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:20:30.490 ID:cKrYVU9H0]

>>21
どう定義しても一緒だぞ
勉強頑張ってくれ

[0024 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:21:06.887 ID:H6STayxKd]

>>23
開集合系以外で定義したなら開集合系は定義ではないやん？

[0025 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:21:11.670 ID:EZ724in40]

コンパクトってなんだよ

[0026 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:21:30.821 ID:H6STayxKd]

まあ空集合の例がおかしいのは変わらんが

[0027 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:21:51.209 ID:H6STayxKd]

>>25
有限って感じかな

[0028 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:22:09.178 ID:cKrYVU9H0]

>>24
「開集合の補集合は閉集合」はどこから位相空間を定義しようが変わらないぞ
君は色んな定義を勘違いしてる

[0029 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:22:57.473 ID:H6STayxKd]

>>28
それは知ってるで
空集合についてしか言っとらんで

[0030 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:23:18.805 ID:cKrYVU9H0]

>>25
この話題とは関係ない
スレタイは¬Pと同値で、それだけ

[0031 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:24:21.571 ID:H6STayxKd]

深く考えずにテキトーにレスしたら空集合が思いついただけやんｗ
ごめんてｗ

[0032 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:24:30.555 ID:cKrYVU9H0]

>>29
>>2のこと？
言ってることはあってるけど何が言いたいんだ

[0033 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:25:08.224 ID:H6STayxKd]

>>32
なんとなく空集合が思いついただけや
全く吟味しとらんかったのはすまんやが

[0034 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:26:21.463 ID:cKrYVU9H0]

>>33
何もしてない時に空集合のことが思い浮かんだのは意味不明だけど仕方ないとしてなんでこのスレに書こうと思ったのかがわからない

[0035 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:26:51.143 ID:H6STayxKd]

>>34
お、これ良い例かもしれん！！ｗって思ったんや
すまん

[0036 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:27:49.826 ID:cKrYVU9H0]

>>35
何の例にもなってないよね

[0037 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:28:23.703 ID:H6STayxKd]

>>36
そこは吟味しとらんからな
すまうんこやで

[0038 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:28:32.093 ID:c31QYc7F0]

「50%の確率で表」ならば「50%の確率で表でない」

矛盾しない

[0039 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:30:03.035 ID:H6STayxKd]

スレタイに戻ると、多分それは矛盾やな！！
でもワイは論理は素人やｗ

[0040 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:31:13.747 ID:H6STayxKd]

述語論理とかなんかそういう形式的な論理系なら多分矛盾やな
自然言語的な緩いやつなら矛盾しないパターンあるかもやな！！

[0041 以下、5ちゃんねるからVIPがお送りします 2023/01/15(日) 16:33:05.288 ID:EZ724in40]

>>38
なるほど？
なんかわかった気がする