【初心者歓迎】C/C++室 Ver.101【環境依存OK】 [無断転載禁止]©2ch.net

**デフォルトの名無しさん** · 2017/07/18(火) 07:07:27.20

エスケープシーケンスやWin32APIなどの環境依存なものでもOK。
ただしその場合、質問者は必ず環境を書きましょう。

◆ソースのインデントについて
半角空白やTABでのインデントはスレに貼ると無くなります。
そのため、アップローダーに上げるのも手ですが直接貼る場合は、
全角空白かに置換すると見栄えだけはよくなります。

【アップローダー】(質問が長い時はココ使うと便利)
http://codepad.org/ (コンパイルもできるし出力結果も得られる[]privateをチェック)
http://ideone.com/ (時間帯によってはcodepadが重い事があるのでここも利用)

前スレ
【初心者歓迎】C/C++室 Ver.100【環境依存OK】
http://mevius.2ch.net/test/read.cgi/tech/1478440682/

◆QZaw55cn4c · 2017/07/22(土) 18:27:01.28

>>42
いつも不思議に思うのだが、このド・モルガンは議論のスタートとなる公理なの？
それとも、なんらかの公理から導かれる定理なの？
教科書の最初の方でカップハットをやらされる度に思う疑問です

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/22(土) 18:39:33.61

>>47
定理って言ってるんだから、定理だろ。
ベン図と真理値表で簡単に証明可能。

◆QZaw55cn4c · 2017/07/22(土) 18:41:59.88

>>48
それは集合が有限個の場合
集合が無限個の場合はどうなる？公理じゃないとうまくいかないんじゃない？

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/07/22(土) 18:48:30.61

無限集合の場合は集合の内包的定義により、離散的な論理学に還元され、やはり成り立つ。