馬鹿なブサヨは毎日荒らし [無断転載禁止]©2ch.net

[0001 名無しさん＠３周年 2017/07/27(木) 13:37:37.53 ID:6/sSEuP3]

ｗ

[0002 名無しさん＠３周年 2017/07/28(金) 22:57:38.45 ID:zCTuaAYk]

(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)

[0003 名無しさん＠３周年 2017/07/28(金) 22:58:39.86 ID:zCTuaAYk]

(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)

[0004 名無しさん＠３周年 2017/07/28(金) 23:03:32.17 ID:zCTuaAYk]

(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)

[0005 名無しさん＠３周年 2017/07/28(金) 23:07:51.23 ID:zCTuaAYk]

¬

[0006 名無しさん＠３周年 2017/07/28(金) 23:13:51.65 ID:zCTuaAYk]

(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)

[0007 名無しさん＠３周年 2017/07/28(金) 23:15:29.14 ID:zCTuaAYk]

(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)

[0008 名無しさん＠３周年 2017/07/28(金) 23:16:35.25 ID:zCTuaAYk]

(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)

[0009 名無しさん＠３周年 2017/07/28(金) 23:18:32.41 ID:zCTuaAYk]

論理学の証明なのですが、
(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)

合ってますか？

[0010 名無しさん＠３周年 2017/07/29(土) 01:11:41.87 ID:HAuGOGj6]

¬(A ∧ B) → (¬A ∨ ¬B)

[0011 名無しさん＠３周年 2017/07/29(土) 01:17:26.20 ID:HAuGOGj6]

¬(A ∧ B) → (¬A ∨ ¬B)の証明なんですけど、

¬(A ∧ B)
¬A ∧ ¬B
--------------∧E
¬A
------∨I
¬A ∨ ¬B

で合ってますか？

[0012 名無しさん＠３周年 2017/07/30(日) 21:25:50.28 ID:alWeOo54]

哀れ

[0013 名無しさん＠３周年 2017/08/01(火) 21:52:26.56 ID:6hvMC0zf]

荒らし誘導
http://egg.2ch.net/test/read.cgi/agri/1310185641/

[0014 名無しさん＠３周年 2017/08/03(木) 13:02:07.31 ID:Go5ksAwM]

　俺たちageageブラザーズ
今日もネタないのにageるからな
￣￣￣￣∨￣
　 ∧＿∧ 　 ∧＿∧ 　　　age
　（・∀・∩）（∩・∀・）　　　　age
　（つ　　丿 （ 　　⊂）　age
　 （　ヽノ　　 ヽ/　　）　　　age
　 し（＿）　　 （＿）Ｊ

[0015 名無しさん＠３周年 2017/08/04(金) 06:05:21.15 ID:2J0huxNM]

北が完全に日本にICBMを狙って脅して打って来てるのにそのミサイルの資金源でもあるパチンコ、業界
なんか一番先につぶせやクソ内閣 、５２０万人のギャンブル依存症患者作ってしまってどうすんだよ
クソ内閣
https://www.youtube.com/watch?v=NsYWfQtWJcM

[0016 名無しさん＠３周年 2017/08/13(日) 10:07:42.83 ID:+rwiH8cm]

　俺たちageageブラザーズ
今日もネタないのにageるからな
￣￣￣￣∨￣
　 ∧＿∧ 　 ∧＿∧ 　　　age
　（・∀・∩）（∩・∀・）　　　　age
　（つ　　丿 （ 　　⊂）　age
　 （　ヽノ　　 ヽ/　　）　　　age
　 し（＿）　　 （＿）Ｊ

[0017 名無しさん＠３周年 2017/10/15(日) 17:53:22.27 ID:I3aDe+s+]

DAIGOは馬券予想を話している時が一番楽しそうですね
音楽よりも競馬のほうが好きなのかしら((´∀｀*))