背理法と対偶って違うの？ (117ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
67(2): １３２人目の素数さん [sage] 2024/11/29(金)23:11 ID:2grucmQc(4/5)
>>64-66 補足
古典論理を、簡便に
ベン図や 下記 ド・モルガンの法則が成り立つ世界とします
P→Q は、ベン図で P ⊂ Q
背理法は、
・命題の論理で 「Q ＆ Pの否定 → 矛盾」です
・ベン図では、Qの補集合をQ^cと書くと 「P∩Q^c＝Φ（空集合）」ということです
因みに、P→Qの対偶は
・命題の論理で 「Qの否定→Pの否定」です
・ベン図では、「P^c ⊃ Q^c」（”P ⊂ Q”の ド・モルガンの法則）ということです
(参考)
rikeilabo.com/de-morgans-laws
理系ラボ
ド・モルガンの法則の解説｜証明と３つの場合
1.1 ド・モルガンの法則とは？
集合では、次の規則性が成り立ちます。
ド・モルガンの法則
略す
ja.wikipedia.org/wiki/%E3%83%89%E3%83%BB%E3%83%A2%E3%83%AB%E3%82%AC%E3%83%B3%E3%81%AE%E6%B3%95%E5%89%87
ド・モルガンの法則（ド・モルガンのほうそく、英: De Morgan's laws）は、ブール論理や集合の代数学において、論理和と論理積と否定（集合のことばでは、和集合と共通部分と差集合）の間に成り立つ規則性である。名前は数学者オーガスタス・ド・モルガン（Augustus de Morgan, 1806–1871）にちなむ。
この規則性（論理のことばで言うと「真と偽を入れ替え、論理和と論理積を入れ替えた論理体系」）は、元の論理体系と同一視できる、ということであるので、ド・モルガンの双対性（英: De Morgan's duality）と呼ばれることもある。
命題論理における法則
略す
述語論理における法則
略す
直観主義論理における法則
直観主義論理においてはド・モルガンの法則は必ずしも成り立たない。しかし、直観主義論理（LJ）においても以下のシークエント計算は証明可能である[1]。
略す
集合論における法則
略す
68(1): １３２人目の素数さん [sage] 2024/11/29(金)23:44 ID:2grucmQc(5/5)
>>67 追加
（下記 背理法と対偶法の違いが分りやすい、というか 高校教科書では両者の区別をあいまいにしているものがあるらしい）
https://www.chart.co.jp/subject/sugaku/suken_tsushin/03/3-1.pdf
数研出版
背理法の定義について 塩見浩三 愛媛県西条高等学校
69(1): １３２人目の素数さん [sage] 2024/11/30(土)08:00 ID:C4igDd/w(1/5)
>>67
>ド・モルガンの法則 略す
>命題論理における法則 略す
>述語論理における法則 略す
>直観主義論理における法則 略す
>集合論における法則 略す
なんだこいつ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.897s*