🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fj.sci.lang
Article #427

Re: 仕切り直し

#427
From: Tomohiro Yamada
Date: Thu, 27 Jul 2000 00:00
34 lines
2577 bytes
(補足)

I wrote in message news:8li02l$e8c$1@nn-os102.ocn.ad.jp...
>> (a)  : At least one of P and Q is a truth.
>
> P, Q共に偽の場合もある(例えばP: 100以下の素数は80個ある, Q: 100以下の
>素数は120個ある)ので(a)偽.
(中略)
> > (d)  : Both of P and Q can be falsities.
>
>  一方が真, 他方が偽の場合もあるので(例えばQがPの否定である場合)(d)偽.

 と書いたわけですが, この後平賀氏から

|# ただ山田さんの問題 2(d) への解答は、
|# can be(原文では「(d) P,Q が共に偽であることが在り得る.」)
|# を「でなければならない」と誤読されたようです。
(from <8lo3ct$1ah10@goat.ipc.ulis.ac.jp>)

 との指摘があり, これは全く正しい指摘ですので, 上の(a)の反証と同じ理由で
(d)は真である, と訂正します.

 いずれにせよ, 論理自体は的確であると考えます.

# まあ, canを読み飛ばしたのをM_SHIRAISHI氏は“天然ボケの証拠だ”と非難
して来るのでしょうが.


+++++++++++++++++++++++++++++++++++++++
NewsのことはNewsで.
Tomohiro Yamada(山田 智宏) --- APTWEB & ARTWEB
y64k@chive.ocn.ne.jp or yamada@legendre.com
---------------------------------------
Technical Details
Message-ID: <8lodl6$f9f$1@nn-os104.ocn.ad.jp>
Path: arc1-ca.pugleaf.net!unknown!not-for-mail
References: <39674E92.2A87548C@apionet.or.jp> <396CE373.7E88121C@apionet.or.jp> <39738F65.149BAD1B@apionet.or.jp> <8li02l$e8c$1@nn-os102.ocn.ad.jp>

Show Full Headers
Complete Article Headers
X-Google-Language: Japanese,JIS
X-Google-Thread: 10b7c5,cea956b711ce32a5
X-Google-Attributes: gid10b7c5,public
X-Google-Thread: ffb0e,cea956b711ce32a5
X-Google-Attributes: gidffb0e,public
X-Google-Thread: f4956,cea956b711ce32a5
X-Google-Attributes: gidf4956,public
X-Google-Thread: 1065a2,cea956b711ce32a5
X-Google-Attributes: gid1065a2,public
X-Google-Thread: 115699,cea956b711ce32a5
X-Google-Attributes: gid115699,public
From: "Tomohiro Yamada" <y64k@chive.ocn.ne.jp>
Subject: Re: 仕切り直し
Date: 2000/07/27
Message-ID: <8lodl6$f9f$1@nn-os104.ocn.ad.jp>
X-Deja-AN: 651265882
Content-Transfer-Encoding: 7bit
References: <39674E92.2A87548C@apionet.or.jp> <396CE373.7E88121C@apionet.or.jp> <39738F65.149BAD1B@apionet.or.jp> <8li02l$e8c$1@nn-os102.ocn.ad.jp>
X-Priority: 3
Content-Type: text/plain; charset="iso-2022-jp"
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6600
X-Complaints-To: usenet@nn02.news.ocn.ad.jp
X-Trace: nn-os104.ocn.ad.jp 964671974 15663 211.11.65.154 (27 Jul 2000 04:26:14 GMT)
Organization: APTWEB & ARTWEB
X-MSMail-Priority: Normal
Mime-Version: 1.0
NNTP-Posting-Date: 27 Jul 2000 04:26:14 GMT
Newsgroups: fj.sci.lang,fj.sci.math,fj.sci.philosophy,fj.education.math,fj.education