[過去ログ] 純粋・応用数学 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
947
(2): 2020/06/19(金)18:30 ID:qXfDhvSl(9/19) AAS
無制限に包含関係を認めた場合

? 正方形⊆長方形

長方形であり正方形でないもの 〇
長方形でなく正方形であるもの  〇

? 長方形⊆正方形

正方形であり長方形でないもの 〇
長方形でなく正方形であるもの  〇
省8
948: 2020/06/19(金)18:33 ID:qXfDhvSl(10/19) AAS
>>947
訂正

? 長方形⊆正方形

正方形であり長方形でないもの 〇
正方形でなく長方形であるもの  〇
950: 2020/06/19(金)18:46 ID:3OKw5Gzv(15/17) AAS
>>947
>? 正方形⊆長方形

「正方形であって長方形でないものは存在しない」の意味

>? 長方形⊆正方形

「長方形であって正方形でないものは存在しない」の意味

で、?は成り立つが、?は成り立たない
省1
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.281s*