Re: どこが違うの？

Article View: fj.education.math

Article #297

#297

From: KATOH Fumitaka
Date: Mon, 30 Apr 2001 15:00

25 lines
2166 bytes

加藤です。

ぷらとんさん <9cimub$tt$1@nw031.infoweb.ne.jp>...
>「任意のxに対して（　ＰかつＱ　ならば　Ｒ　）」　を　Ｍ,
>「｛任意のxに対して（ＰならばＲ）｝または｛任意のxに対して（ＱならばＲ）｝」
>　を　Ｎ　として、
>　　　　　　　　　　　　　ＭならばＮ
>だろうと思います。

はなから M <=> N ときめてかかっていましたが、はて、どうなんでしょうか？ 
うーん。

>  Ｐ,Ｑ,Ｒがxについての条件を表していると解釈した場合、例えばＣの真偽を判定
>　するには、問題全体に対して３通りの解釈があるようです。

うーん、３通りもあるとは気づきませんでした。

3 を、

(p=>q) xor (q=>r) （xor は排他的論理和）

ととることは考えましたが、あと一つはなんだろう？

---
加藤史崇

Technical Details

Message-ID: <9cjuih$ru7$1@discuss.sun-inet.or.jp>

Path:

arc1-ca.pugleaf.net!newsfeed.google.com!newsfeed.stanford.edu!newsfeed.mesh.ad.jp!news.idc.ad.jp!nr1.ctc.ne.jp!news.ctc.ne.jp!discuss.sun-inet.or.jp!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>

Show Full Headers

Complete Article Headers

X-Google-Language: Japanese,JIS
X-Google-Thread: 1065a2,e8bda1aff08b955e
X-Google-Attributes: gid1065a2,public
X-Google-Thread: f4956,76e0a5d93b9c0849
X-Google-Attributes: gidf4956,public
X-Google-ArrivalTime: 2001-04-30 08:10:02 PST
Path: arc1-ca.pugleaf.net!newsfeed.google.com!newsfeed.stanford.edu!newsfeed.mesh.ad.jp!news.idc.ad.jp!nr1.ctc.ne.jp!news.ctc.ne.jp!discuss.sun-inet.or.jp!not-for-mail
From: "KATOH Fumitaka" <fkatoh@sun-inet.or.jp>
Newsgroups: fj.education.math,fj.sci.math
Subject: Re: どこが違うの？
Date: Tue, 1 May 2001 00:00:47 +0900
Organization: Sun-Internet,Okazaki,Japan
Lines: 27
Message-ID: <9cjuih$ru7$1@discuss.sun-inet.or.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>
NNTP-Posting-Host: ppp641.sun-inet.or.jp
Mime-Version: 1.0
Content-Type: text/plain;
 charset="iso-2022-jp"
Content-Transfer-Encoding: 7bit
X-Trace: discuss.sun-inet.or.jp 988642705 28615 210.167.198.13 (30 Apr 2001 14:58:25 GMT)
X-Complaints-To: masashi@mail.sun-inet.or.jp
NNTP-Posting-Date: 30 Apr 2001 14:58:25 GMT
X-Newsreader: Microsoft Outlook Express 4.72.3110.5
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3

Reply to Parent Message