X
「AがBを包含する」「BがAを含意する」←この2つが両立する件について
■ このスレッドは過去ログ倉庫に格納されています
0001以下、5ちゃんねるからVIPがお送りします
垢版 |
2023/09/09(土) 00:33:39.361ID:3aOt82zi0
「含む」って紛らわしすぎだろ
「含む」だけだと二項関係が指定されない
0002以下、5ちゃんねるからVIPがお送りします
垢版 |
2023/09/09(土) 00:35:59.448ID:3aOt82zi0
AはBを包含しBに含意される
BはAに包含されAを含意する

なんでこの逆の関係がどっちも「含」なんだ…
0003以下、5ちゃんねるからVIPがお送りします
垢版 |
2023/09/09(土) 00:35:59.260ID:2bzt6KuI0
そりゃ数理的処理と言語は別々に発達しとるからなぁ
0004以下、5ちゃんねるからVIPがお送りします
垢版 |
2023/09/09(土) 00:37:45.289ID:3aOt82zi0
0002　2023/09/09(土) 00:35:59.448　ID:3aOt82zi0
0003　2023/09/09(土) 00:35:59.260　ID:2bzt6KuI0

レス番号とタイムスタンプが逆になってる…！？
0005以下、5ちゃんねるからVIPがお送りします
垢版 |
2023/09/09(土) 00:41:01.405ID:3aOt82zi0
うーん、これはおそらく
否定と肯定、論理積と論理和
の関係から説明ができる？
0006以下、5ちゃんねるからVIPがお送りします
垢版 |
2023/09/09(土) 00:41:08.592ID:rLiYstQh0
哺乳類は犬を包含する
犬は哺乳類に含意される
0007以下、5ちゃんねるからVIPがお送りします
垢版 |
2023/09/09(土) 00:43:56.904ID:rLiYstQh0
ん？なんかおかしくね？
0008以下、5ちゃんねるからVIPがお送りします
垢版 |
2023/09/09(土) 00:44:07.073ID:hJX/Un3a0
含むと含まれるじゃん何が不満なんだ
0009以下、5ちゃんねるからVIPがお送りします
垢版 |
2023/09/09(土) 00:45:23.816ID:3aOt82zi0
>>6
その場合、
哺乳類は犬を包含する
犬であることは哺乳類であることを含意する
だな
0010以下、5ちゃんねるからVIPがお送りします
垢版 |
2023/09/09(土) 00:46:54.076ID:hJX/Un3a0
>>6
哺乳類は犬を包含し犬に含意される
犬は哺乳類に包含され哺乳類を含意する
0011以下、5ちゃんねるからVIPがお送りします
垢版 |
2023/09/09(土) 00:52:04.575ID:rLiYstQh0
あっ
0012以下、5ちゃんねるからVIPがお送りします
垢版 |
2023/09/09(土) 00:52:47.911ID:3aOt82zi0
ああ、わかったわ
含意するということは通常含意する側の肯定することの論理和が含意される側の肯定することの論理和に包含されることだと表現されるが、これを逆に含意する側の否定することの論理積が含意される側の否定することの論理積を包含することだと表現することもできるってことか（補集合の包含関係と含意関係が一致する）
0013以下、5ちゃんねるからVIPがお送りします
垢版 |
2023/09/09(土) 00:56:16.629ID:3aOt82zi0
つまり、含意とは否定の論理積の包含と考えれば（含む/含まれる関係が）一致するのか…
0015以下、5ちゃんねるからVIPがお送りします
垢版 |
2023/09/09(土) 01:04:13.330ID:3aOt82zi0
哺乳類が犬を包含する
哺乳類でないことが犬でないことを含意する
このように対偶を考えても「含」の向きを一致させることができるな
0016以下、5ちゃんねるからVIPがお送りします
垢版 |
2023/09/09(土) 01:05:11.916ID:rLiYstQh0
意味を含むってのがややこしいな
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況