馬鹿なブサヨは毎日荒らし [無断転載禁止]©2ch.netYouTube動画>1本 ->画像>4枚

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

ｗ

2名無しさん＠３周年2017/07/28(金) 22:57:38.45ID: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)

3名無しさん＠３周年2017/07/28(金) 22:58:39.86ID: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)

4名無しさん＠３周年2017/07/28(金) 23:03:32.17ID: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)

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

￢

6名無しさん＠３周年2017/07/28(金) 23:13:51.65ID: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)

7名無しさん＠３周年2017/07/28(金) 23:15:29.14ID: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)

8名無しさん＠３周年2017/07/28(金) 23:16:35.25ID: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)

9名無しさん＠３周年2017/07/28(金) 23:18:32.41ID: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)

合ってますか？

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

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

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

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

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

で合ってますか？

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

哀れ

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

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

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

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

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

北が完全に日本にICBMを狙って脅して打って来てるのにそのミサイルの資金源でもあるパチンコ、業界
なんか一番先につぶせやクソ内閣、５２０万人のギャンブル依存症患者作ってしまってどうすんだよ
クソ内閣
ダウンロード＆関連動画＞＞

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

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