05/09/11 21:22:08
>>580
別に、そういう風に定義するわけじゃなくて、
￢との間の法則などを、∪とか∩とかと同じように
∧や∨が無限に並んでいるように考えても問題ない、というだけ
証明論じゃもちろんそういう風にはいきませんけどね
∀x≦kの代わりに∧_{n=1}^{n=k}とか書いたりする事もあるんですよ
05/09/11 21:22:08
>>580
別に、そういう風に定義するわけじゃなくて、
￢との間の法則などを、∪とか∩とかと同じように
∧や∨が無限に並んでいるように考えても問題ない、というだけ
証明論じゃもちろんそういう風にはいきませんけどね
∀x≦kの代わりに∧_{n=1}^{n=k}とか書いたりする事もあるんですよ