[過去ﾛｸﾞ] 【初心者歓迎】C/C++室 Ver.101【環境依存OK】 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
47(2): ◆QZaw55cn4c [sage] 2017/07/22(土) 18:27:01.28 ID:Yr9CVNZl(1/5) AAS
>>42いつも不思議に思うのだが、このド・モルガンは議論のスタートとなる公理なの？
それとも、なんらかの公理から導かれる定理なの？
教科書の最初の方でカップハットをやらされる度に思う疑問です
48(3): 片山博文MZ ◆T6xkBnTXz7B0 [sage] 2017/07/22(土) 18:39:33.61 ID:WTRjQogU(1/18) AAS
>>47
定理って言ってるんだから、定理だろ。
ベン図と真理値表で簡単に証明可能。
89: はちみつ餃子 ◆8X2XSCHEME [sage] 2017/07/24(月) 22:07:17.47 ID:Gxl+AYGO(1) AAS
>>47-50
やりたければ公理にした系を考えてもええんやで。
でもまあこのスレの話題として必要なのは手書きで真理値表を書けるレベルの狭い世界の論理だろう、JK
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.063s