- C言語なら俺に聞け（入門編）Part 129 [転載禁止]©2ch.net
993 ：デフォルトの名無しさん[sage]：2015/08/09(日) 10:07:05.43 ID:UBu5K04W - 高校レベルで学ぶ集合論は集合論のうちに入らぬ、
前提命題
XはURLをh抜きで書く→Xは素人である （ = ¬((XはURLをh抜きで書く)∧¬(Xは素人) ）
から
XはURLをhを抜かずに書く→Xは玄人である （ = ¬(¬(XはURLをh抜きで書く)∧¬(Xは玄人) ）
という命題を導くためには、
{ 素人 } ∩ { 玄人 } = φ （排中立）
が成立せねばならないぬが、{ 素人 } ∩ { 玄人 }が無限集合である以上、
演繹系を無限集合の排中律を認めるやつに固定せねば妥当な演繹にならない
|
- C言語なら俺に聞け（入門編）Part 129 [転載禁止]©2ch.net
996 ：デフォルトの名無しさん[sage]：2015/08/09(日) 10:18:03.07 ID:UBu5K04W - >>995
C言語でおk
|
- C言語なら俺に聞け（入門編）Part 130 [転載禁止]©2ch.net
6 ：デフォルトの名無しさん[sage]：2015/08/09(日) 17:29:29.26 ID:UBu5K04W - （テンプレ内にh抜きがある件について：
|