間違いではないことはわかったが
適当な元のとり方が難しいだけだとわかった
∀x(Fx⇒Gx)の対偶は3つある
①∃x(￢Gx⇒￢Fx)
②∃y(Gx∧￢Fx)
③∃z(￢Gz∧Fz)
これらを扱う集合に応じて適宜使い分ける必要がある
②や③でも包含関係があれば等号の関係になってしまう場合がある
それらはどのように考えるべきなのか考え中だ
論理学・集合論 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
782山本大輝 ◆MR2ZPDP6w6
2020/04/16(木) 21:41:19.080■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【将棋】日本将棋連盟 初の女性棋士・西山朋佳新四段への誹謗中傷に警告「お控えください」 [ニーニーφ★]
- 地震 千葉東方沖 M5.7 … [BFU★]
- 【野球】日本シリーズ第4戦 H 4-2 DB [10/28] 福岡ソフトバンクホークス4連勝 2年連続13回目の日本シリーズ制覇！ ★2 [鉄チーズ烏★]
- GMO攻撃 ハッカー集団のサイトはきょう未明に停止 GMO側「1.5億円の懸賞金」で情報提供募る [夜のけいちゃん★]
- 「日本も対象に入れてほしい」高市首相、メルツ独首相にEUのEV優遇政策の見直しを要請へ [バイト歴50年★]
- 【MLB】村上宗隆に〝差別的あだ名〟で物議 実況アナが解任「契約を更新しない」 米報道★2 [冬月記者★]
- 【高市悲報】「スキンシップのつもりだった」 訓練の休憩中、同僚隊員の首を絞めた陸士長2人、停職一年。 [667773354]
- 【高市悲報】米国市場、GMOショックで逝く。 [667773354]
- 地震 [509448172]
- DMM/FANZA、新規アカウント登録を一次停止 [253839187]
- 最近けんた見ないけど元気かな [907330772]
- 【高市悲報】ＶＩＶＡＮＴ「お前らの情報は日本に伝えてある！西側諸国が大挙してお前らを潰しに来るぞ！」ｷﾘｯ ★4 [165981677]