馬鹿なブサヨは毎日荒らし [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
(A ∨ B) → ¬(¬A ∧ ¬B)
1 2 1 3
[A] [¬A] [B] [¬B]
――――― ¬E ―――――― ¬E
A ∨ B ⊥ ⊥
――――――――――――――――――― 1 ∨E
⊥
―――――――――――――――――― 2 3 ∨I
¬ [¬A] ¬[¬B]
―――――――――――――――――― ∧I
¬(¬A ∧ ¬B) (A ∨ B) → ¬(¬A ∧ ¬B)
1 2 1 3
[A] [¬A] [B] [¬B]
――――― ¬E ―――――― ¬E
A ∨ B ⊥ ⊥
――――――――――――――――――― 1 ∨E
⊥
―――――――――――――――――― 2 3 ∨I
¬ [¬A] ¬[¬B]
―――――――――――――――――― ∧I
¬(¬A ∧ ¬B) (A ∨ B) → ¬(¬A ∧ ¬B)
1 2 1 3
[A] [¬A] [B] [¬B]
――――― ¬E ―――――― ¬E
A ∨ B ⊥ ⊥
――――――――――――――――――― 1 ∨E
⊥
―――――――――――――――――― 2 3 ∨I
¬[¬A] ¬[¬B]
―――――――――――――――――― ∧I
¬(¬A ∧ ¬B) (A ∨ B) → ¬(¬A∧¬B)
1 2 1 3
[A][¬A] [B][¬B]
――― ¬E ――― ¬E
A ∨ B ⊥ ⊥
――――――――――――――――――― 1 ∨E
⊥
―――――――――――――――――― 2 3 ∨I
¬[¬A] ¬[¬B]
―――――――――――――――――― ∧I
¬(¬A ∧ ¬B) (A ∨ B) → ¬(¬A∧¬B)
1 2 1 3
[A][¬A] [B][¬B]
―――¬E ――― ¬E
A ∨ B ⊥ ⊥
――――――――――――――――――― 1 ∨E
⊥
―――――――――――――――――― 2 3 ∨I
¬[¬A] ¬[¬B]
―――――――――――――――――― ∧I
¬(¬A ∧ ¬B) (A ∨ B) → ¬(¬A∧¬B)
1 2 1 3
[A][¬A] [B][¬B]
―――¬E ――― ¬E
A ∨ B ⊥ ⊥
――――――――――――――――――― 1 ∨E
⊥
―――――――――――――――――― 2 3 ∨I
¬[¬A] ¬[¬B]
―――――――――――――――――― ∧I
¬(¬A ∧ ¬B) 論理学の証明なのですが、
(A ∨ B) → ¬(¬A∧¬B)
1 2 1 3
[A][¬A] [B][¬B]
―――¬E ――― ¬E
A ∨ B ⊥ ⊥
――――――――――――――――――― 1 ∨E
⊥
―――――――――――――――――― 2 3 ∨I
¬[¬A] ¬[¬B]
―――――――――――――――――― ∧I
¬(¬A ∧ ¬B)
合ってますか? ¬(A ∧ B) → (¬A ∨ ¬B) ¬(A ∧ B) → (¬A ∨ ¬B)の証明なんですけど、
¬(A ∧ B)
¬A ∧ ¬B
--------------∧E
¬A
------∨I
¬A ∨ ¬B
で合ってますか? 俺たちageageブラザーズ
今日もネタないのにageるからな
 ̄ ̄ ̄ ̄∨ ̄
∧_∧ ∧_∧ age
(・∀・∩)(∩・∀・) age
(つ 丿 ( ⊂) age
( ヽノ ヽ/ ) age
し(_) (_)J 北が完全に日本にICBMを狙って脅して打って来てるのにそのミサイルの資金源でもあるパチンコ、業界
なんか一番先につぶせやクソ内閣 、520万人のギャンブル依存症患者作ってしまってどうすんだよ
クソ内閣
https://www.youtube.com/watch?v=NsYWfQtWJcM 俺たちageageブラザーズ
今日もネタないのにageるからな
 ̄ ̄ ̄ ̄∨ ̄
∧_∧ ∧_∧ age
(・∀・∩)(∩・∀・) age
(つ 丿 ( ⊂) age
( ヽノ ヽ/ ) age
し(_) (_)J DAIGOは馬券予想を話している時が一番楽しそうですね
音楽よりも競馬のほうが好きなのかしら((´∀`*)) ■ このスレッドは過去ログ倉庫に格納されています