理論計算機科学

**デフォルトの名無しさん** · 2014/06/21(土) 12:26:39.88

**デフォルトの名無しさん** · 2014/06/21(土) 23:36:19.79

アリエールでしょう

**デフォルトの名無しさん** · 2014/06/22(日) 05:37:57.42

アイちゃん、ついに計算機科学にまで手を出すようになったのかw

**デフォルトの名無しさん** · 2014/06/22(日) 12:33:17.96

**デフォルトの名無しさん** · 2014/06/22(日) 15:44:43.14

**デフォルトの名無しさん** · 2014/06/22(日) 18:17:46.21

x≦x (反射法則 reflexive law)

同じxなのに不等号がある不思議。2つのxはそれぞれ別のものを指す？

**デフォルトの名無しさん** · 2014/06/22(日) 18:30:32.89

x≦x
⇔x＝xまたはx＜x
⇔trueまたはx＜x
⇔true

**デフォルトの名無しさん** · 2014/06/22(日) 18:33:49.91

なるほど、さっぱり分からん。

**デフォルトの名無しさん** · 2014/06/22(日) 18:45:28.94

≦の定義より、
「x≦x」は、「x＝xまたはx＜x」と同値である。
「x＝x」は、等号の定義より、真(true)である。「x＜x」は偽(false)である。
「x＝xまたはx＜x」、つまり「真または偽」は真である。よって「x≦x」は、真である。

**デフォルトの名無しさん** · 2014/06/22(日) 19:48:11.27

ブール代数と命題論理の基本からやり直せ

**デフォルトの名無しさん** · 2014/06/22(日) 20:43:23.15

なにがなんだかだけど説明ありがとう。こういうのを理解出来る人はすごいと思った。

**デフォルトの名無しさん** · 2014/06/24(火) 04:16:20.78

ラムダ計算とかやってもプログラミングの役に立たないよね