 nothing ( No.135 ) |
- 日時： 2009/06/28 00:39
- 名前： やまね
- 横から失礼します。
面白く読ませて頂いてます。
ITEMAEさんとボムボムさんとの議論、私なりに要点を考えてみました。
１．「グーは、チョキより強い。」
２．「チョキは、パーより強い。」
これが正しいならば、
３．「グーは、パーより強い。」は正しい。
ボムボムさんの意見
正しくない。
帰結３．を導くには、次の条件０．が必要である。
０．「『Aは、Bより強い。』かつ『Bは、Cより強い。』ならば『Aは、Cより強い。』」
０．は公理（推移律）ではないので条件として記述が必要。
ITEMAEさん
正しい。
０．「『Aは、Bより強い。』かつ『Bは、Cより強い。』ならば『Aは、Cより強い。』」
は公理（推移律）であって、前提として扱うことができる。
問題は、０．が公理なのかどうかという点に帰着するように思います。
お二人の意図をきちんと理解できていない場合はご容赦下さい。
|
|
FAQ
RSS