Re: どこが違うの？

Article View: fj.education.math

Article #299

#299

From: M_SHIRAISHI
Date: Mon, 30 Apr 2001 17:53

28 lines
2276 bytes

ぷらとん wrote:

>   Ｐ,Ｑ,Ｒがxについての条件を表していると解釈した場合、例えばＣの真偽を判定
> 　するには、問題全体に対して３通りの解釈があるようです。そのうち最も自然な
> 　解釈は、
>
> 「任意のxに対して（　ＰかつＱ　ならば　Ｒ　）」　を　Ｍ,
> 「｛任意のxに対して（ＰならばＲ）｝または｛任意のxに対して（ＱならばＲ）｝」
> 　を　Ｎ　として、
> 　　　　　　　　　　　　　ＭならばＮ
> だろうと思います。



例えば、Cの場合については、

［P(x)&Q(x)⇒/x/R(x)］⇒/p,q,r/［P(x)⇒/x/R(x)］V［Q(x)⇒/x/R(x)］

なる（二階の）命題が真であるか偽であるかということに帰着する。

しかるに、この命題の偽であることは、Venn図で反例をあげること
によって、いとも簡単に証明される。



M_SHIRAISHI  ＠The_New_York_Academy_of_Sciences

http://www.apionet.or.jp/~eurms/Ronri_Kaikaku.html

Technical Details

Message-ID: <3AEDA67F.E849D0DC@apionet.or.jp>

Path:

arc1-ca.pugleaf.net!newsfeed.google.com!newsfeed.stanford.edu!newsfeed.mesh.ad.jp!nntp-egw.ocn.ad.jp!nntp-wgw.ocn.ad.jp!nd-os001.ocn.ad.jp!news.apionet.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: f4956,76e0a5d93b9c0849
X-Google-Attributes: gidf4956,public
X-Google-Thread: 1065a2,e8bda1aff08b955e
X-Google-Attributes: gid1065a2,public
X-Google-ArrivalTime: 2001-04-30 22:05:01 PST
Path: arc1-ca.pugleaf.net!newsfeed.google.com!newsfeed.stanford.edu!newsfeed.mesh.ad.jp!nntp-egw.ocn.ad.jp!nntp-wgw.ocn.ad.jp!nd-os001.ocn.ad.jp!news.apionet.or.jp!not-for-mail
From: M_SHIRAISHI <eurms@apionet.or.jp>
Newsgroups: fj.education.math,fj.sci.math
Subject: Re: どこが違うの？
Date: Tue, 01 May 2001 02:53:03 +0900
Organization: Apionet, Tottori, JAPAN
Lines: 31
Message-ID: <3AEDA67F.E849D0DC@apionet.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: max-69.kurayoshi.apionet.or.jp
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-2022-jp
Content-Transfer-Encoding: 7bit
X-Trace: apionw.apionet.or.jp 988651713 8227 210.232.57.69 (30 Apr 2001 17:28:33 GMT)
X-Complaints-To: usenet@apionet.or.jp
NNTP-Posting-Date: 30 Apr 2001 17:28:33 GMT
X-Mailer: Mozilla 4.72 [ja] (Win95; U)
X-Accept-Language: ja,en-GB

Reply to Parent Message