背理法と対偶って違うの？ (117ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
66(2): 2024/11/29(金)21:39 ID:2grucmQc(3/5) AAS
>>65 追加
図1、2の画像URL
外部ﾘﾝｸ:chie-
pctr.c.yi
mg.jp/dk/iwiz-chie/ans-235148351?w=200&h=200&up=0
67(2): 2024/11/29(金)23:11 ID:2grucmQc(4/5) AAS
>>64-66 補足
古典論理を、簡便に
ベン図や 下記 ド・モルガンの法則が成り立つ世界とします
P→Q は、ベン図で P ⊂ Q
背理法は、
・命題の論理で 「Q ＆ Pの否定 → 矛盾」です
・ベン図では、Qの補集合をQ^cと書くと 「P∩Q^c＝Φ（空集合）」ということです
省23
77(3): 2024/11/30(土)09:47 ID:9Sqq12HI(4/6) AAS
>>66 タイポ訂正
背理法は、
・命題の論理で 「Q ＆ Pの否定 → 矛盾」です
↓
背理法は、
・命題の論理で 「P ＆ Qの否定 → 矛盾」です
さて
省49
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.870s*