論理学に自信あるやつちょっと来いよ、問題出してやる

1 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:00:21.115 ID:/uV78hX40.net

論理命題を書いていくからそれを→と⊥だけを使って表してみ
ちなみに→は「ならば」の意、⊥は「矛盾」の意
大文字のアルファベットはそれぞれ命題な


まずはウォーミングアップ

一問目　Aではない

2 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:02:22.843 ID:8S3HlZMK0.net

面白そう
俺は論理は得意だが論理学は全く知らね

3 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:02:55.917 ID:/uV78hX40.net

>>2
大した話ではないから考えてみてくれ
特に知識も要らん

4 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:03:06.962 ID:XrI+zF7E0.net

NANDだけを使って表してみ

5 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:03:29.506 ID:9VW0v/zZ0.net

NK使うの？

6 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:03:36.351 ID:E0Nmb/SAd.net

記号論理学の本買おうと思ってた矢先や
タイムリー

7 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:04:36.096 ID:E0Nmb/SAd.net

A⊥

8 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:04:44.196 ID:BrGbuhHZ0.net

Lp専門なもので

9 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:04:55.820 ID:NaA/spsx0.net

NOTやｘ何かも禁止？

10 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:05:03.738 ID:9VW0v/zZ0.net

A→矛盾
───¬I
¬A

11 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:05:10.340 ID:VFrnmmnb0.net

¬A

12 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:05:13.548 ID:8S3HlZMK0.net

さっぱりわからん。表し方もわからん
⊥A
か？

13 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:05:32.906 ID:/uV78hX40.net

>>7
それだと意味をなさない

>>9
ダメ

14 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:05:53.539 ID:AK/aiDyS0.net

A→B⊥

15 ：ネトゲ実況板の正体はこれですｗｗｗ：2016/12/18(日) 17:06:18.450 ID:3y1FrB3R0.net

東日本大震災万歳wwwwwwwwwwww [無断転載禁止]©2ch.net
http://hanabi.2ch.net/test/read.cgi/ogame/1474972238/

20 : 既にその名前は使われています＠無断転載は禁止2016/09/27(火) 23:26:56.23 ID:UpjAJvvU
首都直下来い！

24 : 既にその名前は使われています＠無断転載は禁止2016/09/29(木) 17:30:36.95 ID:GawC0hNy
日本の愛国戦士の顔がきもすぎる

http://i.imgur.com/C5T6g7l.jpg

http://mdpr.jp/music/detail/1616038

26 : 既にその名前は使われています＠無断転載は禁止2016/09/30(金) 20:51:06.87 ID:7pMEABu6
右翼の顔ワロタ

37 : 既にその名前は使われています＠無断転載は禁止2016/10/04(火) 18:23:47.99 ID:XC3OkWdh
東日本大震災で右翼が死ねば喜んだ
福島県民は純粋に可哀想だ

40 : 既にその名前は使われています＠無断転載は禁止2016/10/06(木) 20:03:20.56 ID:ByvzYyPO
実際日本人も韓国で地震起こったら喜ぶだろうし人の事言えんよな

41 : 既にその名前は使われています＠無断転載は禁止2016/10/07(金) 20:07:57.39 ID:MGFqCuD1
地震で揺れて津波で身も心も洗われるｗｗｗｗｗｗｗｗ

47 : 既にその名前は使われています＠無断転載は禁止2016/10/08(土) 19:53:50.64 ID:fXds1Cp0
東日本大震災万歳
ジャップは報いを受けるべきだ

50 : 既にその名前は使われています＠無断転載は禁止2016/10/10(月) 15:53:26.44 ID:FC8BbAqg
今の腐った日本を見てると日本がなくなっても構わないと思ってきた

51 : 既にその名前は使われています＠無断転載は禁止2016/10/11(火) 17:40:17.66 ID:0UemUgLz
昔の日本ならまだ同情してやれたんだが今の日本はもう駄目だ
さっさと地震でも噴火でもなんでもいいから島ごと沈んでくれ

52 : 既にその名前は使われています＠無断転載は禁止2016/10/12(水) 19:02:13.86 ID:i0ZttKZx
糞ジャップ共地震でみんな死ね
放射線に塗れて哀れに死ね

53 : 既にその名前は使われています＠無断転載は禁止2016/10/13(木) 19:46:13.64 ID:kHGsQBR+
糞ジャップが地震で潰れる夢を何度もみてしまう
メシウマｗｗｗ

16 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:06:19.313 ID:GK6ur2+oK.net

Aは使っていいの？

17 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:06:26.438 ID:VFrnmmnb0.net

A→⊥

18 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:07:02.794 ID:NNwHopdzM.net

　　　　　　　　　　　　　∀x（Ｃx→Ｔx）
　　　　　　　　　　　　　∀x（Ｓx→Ｔx）
　　　　　　　　　　　　 ¬∀x（Ｓx→Ｃx）

19 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:07:18.685 ID:NaA/spsx0.net

ＡとＡ→Ａは等価だったような気がするから
⊥（Ａ→Ａ）

20 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:07:22.786 ID:/uV78hX40.net

>>10
正解

答えはA→⊥な


では二問目

AまたはB

21 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:08:30.260 ID:8S3HlZMK0.net

A∪Bじゃないんだろうなきっと

22 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:08:31.088 ID:/uV78hX40.net

>>16
いいよ
あ、ごめん
問題の中に出てきたアルファベットは使っていい
まあ当たり前だが

>>17
正解

23 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:09:21.722 ID:E0Nmb/SAd.net

Aならば矛盾=Aではない、てことなのか

⊥(A⊥B)

24 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:09:47.314 ID:AK/aiDyS0.net

A→B
B→A

25 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:10:06.718 ID:9VW0v/zZ0.net

A
───∨I
A∨B

26 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:10:09.136 ID:NNwHopdzM.net

なんだこの入門スレは

27 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:10:56.295 ID:NaA/spsx0.net

andとorも使えない疑惑

28 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:10:56.535 ID:E0Nmb/SAd.net

門からはいるのは重要
窓から煙突から入るのは得策ではない

29 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:11:00.239 ID:9VW0v/zZ0.net

いやだめか

30 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:11:01.935 ID:/uV78hX40.net

>>23
それも意味をなさないぞ

31 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:11:15.385 ID:fiZERvhE0.net

(A→⊥)→B

32 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:11:29.045 ID:bDuee/MFp.net

→と⊥だけやろ

33 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:11:41.099 ID:E0Nmb/SAd.net

違う、じゃなくて意味をなさない、てところにしびれる

34 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:12:15.913 ID:E0Nmb/SAd.net

A→B→A

35 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:12:27.599 ID:8S3HlZMK0.net

>>31
なるほどね

36 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:12:41.577 ID:BrGbuhHZ0.net

〜（〜A）またはB
〜A→B

（A→⊥）→B

37 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:12:50.603 ID:NaA/spsx0.net

>>31
これじゃないの？

38 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:14:14.532 ID:/uV78hX40.net

>>31
正解

(A→⊥)→B です

(B→⊥)→Aでも正解

AまたはB⇔AでなければB⇔(A→⊥)→B


じゃあ三問目

AかつB

39 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:14:15.169 ID:AK/aiDyS0.net

A→⊥→B
B→⊥→A

40 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:15:08.556 ID:/uV78hX40.net

>>36
正解

41 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:15:27.339 ID:E0Nmb/SAd.net

>>34はあかんのか

42 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:15:59.241 ID:fiZERvhE0.net

（A→（B→⊥））→⊥

43 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:16:03.554 ID:AK/aiDyS0.net

(A→⊥)→B⊥

44 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:16:45.576 ID:/uV78hX40.net

>>34は()がどっちにかかってるのかわからないので何とも言えないが
どちらにしろ違う

45 ：ネトゲ実況板の正体はこれですｗｗｗ：2016/12/18(日) 17:17:04.919 ID:3y1FrB3R0.net

東日本大震災万歳wwwwwwwwwwww [無断転載禁止]©2ch.net
http://hanabi.2ch.net/test/read.cgi/ogame/1474972238/

20 : 既にその名前は使われています＠無断転載は禁止2016/09/27(火) 23:26:56.23 ID:UpjAJvvU
首都直下来い！

24 : 既にその名前は使われています＠無断転載は禁止2016/09/29(木) 17:30:36.95 ID:GawC0hNy
日本の愛国戦士の顔がきもすぎる

http://i.imgur.com/C5T6g7l.jpg

http://mdpr.jp/music/detail/1616038

26 : 既にその名前は使われています＠無断転載は禁止2016/09/30(金) 20:51:06.87 ID:7pMEABu6
右翼の顔ワロタ

37 : 既にその名前は使われています＠無断転載は禁止2016/10/04(火) 18:23:47.99 ID:XC3OkWdh
東日本大震災で右翼が死ねば喜んだ
福島県民は純粋に可哀想だ

40 : 既にその名前は使われています＠無断転載は禁止2016/10/06(木) 20:03:20.56 ID:ByvzYyPO
実際日本人も韓国で地震起こったら喜ぶだろうし人の事言えんよな

41 : 既にその名前は使われています＠無断転載は禁止2016/10/07(金) 20:07:57.39 ID:MGFqCuD1
地震で揺れて津波で身も心も洗われるｗｗｗｗｗｗｗｗ

47 : 既にその名前は使われています＠無断転載は禁止2016/10/08(土) 19:53:50.64 ID:fXds1Cp0
東日本大震災万歳
ジャップは報いを受けるべきだ

50 : 既にその名前は使われています＠無断転載は禁止2016/10/10(月) 15:53:26.44 ID:FC8BbAqg
今の腐った日本を見てると日本がなくなっても構わないと思ってきた

51 : 既にその名前は使われています＠無断転載は禁止2016/10/11(火) 17:40:17.66 ID:0UemUgLz
昔の日本ならまだ同情してやれたんだが今の日本はもう駄目だ
さっさと地震でも噴火でもなんでもいいから島ごと沈んでくれ

52 : 既にその名前は使われています＠無断転載は禁止2016/10/12(水) 19:02:13.86 ID:i0ZttKZx
糞ジャップ共地震でみんな死ね
放射線に塗れて哀れに死ね

53 : 既にその名前は使われています＠無断転載は禁止2016/10/13(木) 19:46:13.64 ID:kHGsQBR+
糞ジャップが地震で潰れる夢を何度もみてしまう
メシウマｗｗｗ

46 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:17:54.991 ID:E0Nmb/SAd.net

おまえらなんでわかるの

47 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:18:05.374 ID:AK/aiDyS0.net

(A→⊥)→(B→⊥)

48 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:18:46.001 ID:BrGbuhHZ0.net

〜（〜Aまたは〜B）
〜（A→〜B）
〜（A→（B→⊥））

（A→（B→⊥））→⊥

49 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:18:58.688 ID:8S3HlZMK0.net

A→⊥
B→⊥

50 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:19:13.766 ID:AK/aiDyS0.net

(A→B)→(B→A)

51 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:19:52.000 ID:GK6ur2+oK.net

>>38
()使ってるじゃん

52 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:20:08.544 ID:E0Nmb/SAd.net

ベン図かいてもよくわからん
⊥がわからん

53 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:20:26.200 ID:/JE/H+Edp.net

｛(A→⊥）→B｝→⊥

54 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:22:29.944 ID:/uV78hX40.net

>>42
正解

AかつB⇔not(AならばnotB)⇔(A→(B→⊥))→⊥

では四問目

AまたはBまたはC

55 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:23:37.752 ID:GK6ur2+oK.net

>>54
なあ、いつからカッコ使っていいことにしたの？

56 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:24:00.783 ID:/uV78hX40.net

>>48
>>53
正解

57 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:25:15.731 ID:BrGbuhHZ0.net

（（A→（B→⊥））→⊥）→ （C→⊥））→⊥

58 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:25:46.482 ID:fiZERvhE0.net

（（（A→⊥）→B）→⊥）→C

59 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:25:48.748 ID:NmxF9UDT0.net

>>54
(((A→⊥)→B)→⊥)→C

60 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:25:56.853 ID:NaA/spsx0.net

さっきの奴パクればイケそう

[{（A→⊥）→B}→⊥]→C

61 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:26:01.629 ID:k+6z8qs90.net

全称量化と
存在量化だろ？
あとタブローは？

62 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:26:02.027 ID:NNwHopdzM.net

>>46
初心者向けやぞ

63 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:26:41.104 ID:E0Nmb/SAd.net

→⊥=notということはわかった

64 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:26:49.529 ID:/uV78hX40.net

>>55
()は論理式を明確にするためにあるものであって何か意味があるわけではないから使ってもいいよ
()が気になるなら無いものだと思えばいい

65 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:26:53.441 ID:BrGbuhHZ0.net

（(A→⊥)→B ）→⊥)→C

66 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:26:56.672 ID:AK/aiDyS0.net

【｛（A→⊥）→B}→⊥】→C

67 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:26:59.600 ID:TleQ37ab0.net

ジョーは酒場で論理学の教授と知り合った。
「論理学ってのはどういったもんですか?」
「やって見せましょうか。お宅には芝刈機があります?」
「ありますよ」
「ということは、広い庭があるわけですね?」
「その通り!うちには広い庭があります」
「ということは、一戸建てですね?」
「その通り!一戸建てです」
「ということは、ご家族がいますね?」
「その通り!妻と2人の子供がいます」
「ということは、あなたはホモではないですね?」
「その通り!ホモじゃありません」
「つまりこれが論理学ですよ」
「なるほど!」
深く感心したジョーは、翌日友人のスティーブに言った。
「論理学を教えてやろう。君の家には芝刈機があるか?」
「いや。ないよ」

「ということは、君はホモだな!!」

68 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:28:27.455 ID:AK/aiDyS0.net

クレタ島民は嘘つきですとクレタ島民が言ったならば

69 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:29:18.947 ID:E0Nmb/SAd.net

記号論理学の前に論理学入門やらなあかん

70 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:31:20.360 ID:/JE/H+Edp.net

（（（A→⊥）→B）→⊥）→C

71 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:31:55.094 ID:/uV78hX40.net

>>58
>>59
>>60
正解

>>57
惜しい
それはAかつBかつCだわ

>>60のいうとおりAまたはBを繰り返し使えばいいだけ
AまたはBまたはC⇔(AまたはB)またはC⇔（（（A→⊥）→B）→⊥）→C

なんかもう早くもネタ切れだわ
否定・ならば・かつ・または　が揃っちゃったからもう目新しいものはないな

72 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:32:17.874 ID:NmxF9UDT0.net

>>41
なんかいい気がする

73 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:33:10.065 ID:9VW0v/zZ0.net

排他的論理和

74 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:33:11.987 ID:/uV78hX40.net

>>65
>>66
>>70

正解

75 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:33:15.465 ID:hmJ6Y6VIK.net

人間が考えられる事はモノを使えば実現できる
キチガイ染みた理論も実現可能

76 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:33:50.970 ID:tiu0m3MW0.net

論理学に満たされた完全世界

77 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:34:08.328 ID:Dqftiuy+0.net

andとorとnotと立ち上がりパルスと立ち下がりパルス全部使いたい

78 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:34:32.265 ID:GK6ur2+oK.net

>>64
カッコ使わなかったらどう表すの？

79 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:34:43.507 ID:NaA/spsx0.net

そういえば何かこんなのあったね
ある記号だけ揃えばすべての命題を表現できるみたいな

80 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:35:04.341 ID:9VW0v/zZ0.net

>>78
そのままだろ
演算子に優先順位が定義されてる必要があるけど

81 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:37:44.592 ID:AK/aiDyS0.net

5問目
AがVIPPERならばBまたはCかつDもVIPPER

82 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:38:49.676 ID:NmxF9UDT0.net

>>81
どの演算を先にやるかで意味が変わってきそうな気が

83 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:41:48.898 ID:GK6ur2+oK.net

>>80
その定義がされてないから聞いてる
言語は記号と文法が与えられてないと使えないはずだが
与えられてない記号を用いたり、文法が定まってないのに回答が出るのが不思議で仕方ない

84 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:42:30.935 ID:NaA/spsx0.net

>>83
分かりやすく言って

85 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:43:24.481 ID:9VW0v/zZ0.net

>>83
そんなこといったら演算子の真理値割当も自明として与えられてるぞ

86 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:45:39.924 ID:GK6ur2+oK.net

>>84
()を使うための規則が与えられていないのに用いられていたり
→が並んだときに左が優先という規則も与えられていない >>82が書いてるようなことを排除しなきゃいけないはずだろ

87 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:47:31.924 ID:GK6ur2+oK.net

>>85
だから論理的に考えて解答にたどり着くのが不思議だといってる

88 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:49:46.597 ID:y+7y/Y290.net

>>83
原子式や補助記号を使って良いことは暗黙の了解だね

89 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:50:40.671 ID:GK6ur2+oK.net

荒らすつもりじゃなく素朴な疑問だったんだが皆が納得してるなら続けてくれ
俺は降りるわ

90 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:52:54.967 ID:Aorlhaakp.net

AかつBからわからん
誰かベン図で説明して

91 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:53:43.360 ID:E0Nmb/SAd.net

>>90
sssp://o.8ch.net/kiyq.png

92 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:57:10.506 ID:y+7y/Y290.net

>>89
結合子の数を節約するのは命題論理のよくある例題だから
たいていの人は>>1を見てそれをやらせたいんだと理解するんだな

>>90
>>48に解説あるやん

93 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:58:17.848 ID:E0Nmb/SAd.net

ベン図と記号の関連がよくわからん
→は塗りつぶせて⊥は塗りつぶしを消す機能があるとかか

94 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 17:59:12.734 ID:9VW0v/zZ0.net

そもそも集合と一対一に対応してるわけでもないし

95 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 18:01:11.477 ID:NmxF9UDT0.net

>>93
○→△　：　○じゃないところと△のところを両方塗る機能（重なってても普通に塗る）

96 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 18:03:53.046 ID:OwprkWWW0.net

× 論理学
○ 記法にイチャモンをつける

97 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 18:03:59.977 ID:Aorlhaakp.net

>>91
そんなんわかっとるわ
>>92
〜の意味がわからない

98 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 18:04:47.054 ID:9VW0v/zZ0.net

>>97
〜は¬

99 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 18:06:03.446 ID:Aorlhaakp.net

>>98
また知らん記号が出てきた
¬は何だよ？

100 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 18:06:58.813 ID:y+7y/Y290.net

>>99
ノット、否定、〜でない

101 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 18:09:29.977 ID:E0Nmb/SAd.net

矛盾と否定のちがいを集合論的に理解できないぼく

102 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 18:09:54.538 ID:53JZASdYE.net

A⇒⊥から¬Aって正しいの？

103 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 18:11:29.643 ID:OwprkWWW0.net

命題論理でいいのなら、ロジックＩＣの回路図を出してもいいはずなんだよね、本来。

104 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 18:11:47.673 ID:9VW0v/zZ0.net

>>102
背理法みたいなもん
厳密にいうと違うとか言うのも聞いたことあるけど

105 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 18:12:00.101 ID:oaw8+zSr0.net

>>102
ただの背理法

106 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 18:12:58.812 ID:oaw8+zSr0.net

>>101
矛盾が空集合で否定が補集合

107 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 18:14:16.022 ID:Aorlhaakp.net

>>100
なるほど
>>42の一行目は理解した二行目の
〜（A→〜B）
がわからん
かっこの中のAならばBでないってのはどういうこと？
これではないよね？
sssp://o.8ch.net/kize.png

108 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 18:15:25.788 ID:Aorlhaakp.net

>>107
すまん安価ミス>>48

109 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 18:17:44.537 ID:53JZASdYE.net

背理法や二重否定が正しいとするのはOKとして

Aと⊥を⇒で結びつけてもいいの？

110 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 18:22:36.334 ID:y+7y/Y290.net

>>107
AならばBでない
つまり「そもそもAでない」か「AであってかつBではない」
その斜線部分とAの外側を合わせたとこやね

111 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 18:23:55.902 ID:9VW0v/zZ0.net

>>109
⊥も論理式なんじゃね

112 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 18:27:41.734 ID:53JZASdYE.net

Aでないを求めているときにAであることがどの部分から言えてるのか>>10には足りないんじゃないか？

113 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 18:30:37.936 ID:9VW0v/zZ0.net

自然演繹みたいに書いちゃったのは間違いだよごめん

114 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 18:33:50.275 ID:53JZASdYE.net

すまん>>10の答え方はいいと思うけど>>1が解説なしで進めたから気になっただけなんだ

115 ：以下、＼(^o^)／でVIPがお送りします：2016/12/18(日) 18:42:05.668 ID:Aorlhaakp.net

>>110
なるほどA出ないときも考えないといけないのか
そう考えると全部理解出来た