Re: どこが違うの？

Article View: fj.education.math

Article #298

#298

From: ぷらとん
Date: Mon, 30 Apr 2001 16:26

38 lines
2841 bytes

KATOH Fumitaka <fkatoh@sun-inet.or.jp> wrote in message
news:9cjuih$ru7$1@discuss.sun-inet.or.jp
> 加藤です。
>
> ぷらとんさん <9cimub$tt$1@nw031.infoweb.ne.jp>...
> >「任意のxに対して（　ＰかつＱ　ならば　Ｒ　）」　を　Ｍ,
> >「｛任意のxに対して（ＰならばＲ）｝または｛任意のxに対して（Ｑならば
Ｒ）｝」
> >　を　Ｎ　として、
> >　　　　　　　　　　　　　ＭならばＮ
> >だろうと思います。
>
> はなから M <=> N ときめてかかっていましたが、はて、どうなんでしょうか？
> うーん。

　この問題の場合は、「ＭならばＮ」　ととるのが自然だろうと（私は）思います。

 > >  Ｐ,Ｑ,Ｒがxについての条件を表していると解釈した場合、例えばＣの真偽を
判定
> >　するには、問題全体に対して３通りの解釈があるようです。
>
> うーん、３通りもあるとは気づきませんでした。
>
> 3 を、
>
> (p=>q) xor (q=>r) （xor は排他的論理和）
>
> ととることは考えましたが、あと一つはなんだろう？

　Ｃの解釈として排他的論理和は私の頭に浮かびませんでした。
　他に、Ｃを

　　　　任意のxに対して｛（ＰならばＲ）または（ＱならばＲ）｝

　と解釈することもできるということです。この場合、Ｃの主張は正しいことになり
　ます。　これも　Ｍ　のベン図を利用しようと思えば出来ますね。
　さらに、これら以外の解釈もあるようです。　
　では、数日間は投稿をやめるでしょう。

Technical Details

Message-ID: <9ck37s$7vu$1@nw032.infoweb.ne.jp>

Path:

arc1-ca.pugleaf.net!newsfeed.google.com!newsfeed.stanford.edu!newsfeed.mesh.ad.jp!newsgate1.web.ad.jp!news.nifty.com!not-for-mail

References:

<9cg1nb$f5v$1@nw032.infoweb.ne.jp> <9cg6rq$h58$1@nw031.infoweb.ne.jp> <3AEC01B3.42C7898B@catvmics.ne.jp> <9chduq$o1v$1@nw031.infoweb.ne.jp> <3AECB8E3.9CC60A68@catvmics.ne.jp> <9cimub$tt$1@nw031.infoweb.ne.jp> <9cjuih$ru7$1@discuss.sun-inet.or.jp>

Show Full Headers

Complete Article Headers

X-Google-Language: Japanese,JIS
X-Google-Thread: f4956,76e0a5d93b9c0849
X-Google-Attributes: gidf4956,public
X-Google-Thread: 1065a2,e8bda1aff08b955e
X-Google-Attributes: gid1065a2,public
X-Google-ArrivalTime: 2001-04-30 09:18:27 PST
Path: arc1-ca.pugleaf.net!newsfeed.google.com!newsfeed.stanford.edu!newsfeed.mesh.ad.jp!newsgate1.web.ad.jp!news.nifty.com!not-for-mail
From: ぷらとん <ZAP14260@nifty.ne.jp>
Newsgroups: fj.education.math,fj.sci.math
Subject: Re: どこが違うの？
Date: Tue, 1 May 2001 01:26:59 +0900
Organization: Nifty News Service
Lines: 39
Message-ID: <9ck37s$7vu$1@nw032.infoweb.ne.jp>
References: <9cg1nb$f5v$1@nw032.infoweb.ne.jp> <9cg6rq$h58$1@nw031.infoweb.ne.jp> <3AEC01B3.42C7898B@catvmics.ne.jp> <9chduq$o1v$1@nw031.infoweb.ne.jp> <3AECB8E3.9CC60A68@catvmics.ne.jp> <9cimub$tt$1@nw031.infoweb.ne.jp> <9cjuih$ru7$1@discuss.sun-inet.or.jp>
NNTP-Posting-Host: trga003n016.ppp.infoweb.ne.jp
Mime-Version: 1.0
Content-Type: text/plain;
 charset="iso-2022-jp"
Content-Transfer-Encoding: 7bit
X-Trace: nw032.infoweb.ne.jp 988647484 8190 202.248.58.176 (30 Apr 2001 16:18:04 GMT)
X-Complaints-To: -
NNTP-Posting-Date: 30 Apr 2001 16:18:04 GMT
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.00.2314.1300
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300

Reply to Parent Message