Re: More Quiz!!

Article View: fj.sci.lang

Article #446

#446

From: Tomohiro Yamada
Date: Sun, 16 Jul 2000 00:00

56 lines
3275 bytes

"M_SHIRAISHI" <eurms@apionet.or.jp>氏 wrote in message
news:39707BEC.5EA71354@apionet.or.jp...
> Tomohiro Yamada wrote:
>
> > 　β. 真理表による結果.
> >
> > 　β8. 前件は反例4, 6, 12, 14により偽. 後件は反例1により偽. よってA, B,
C, D
> > の 真理値が4, 6, 12, 14のどれかと1をとり得るとき, そしてその時に限り8も
偽.
>
> （８） は、Fregean 理論 --- いわゆる、“古典論理” --- では（Ｂ⊃Ｄ）∨
（～Ｂ⊃～Ｄ）
>  と 表わされる筈。 そして、真理表 で確かめられる通り、これは 「恒真式」 。

　当方はA, B, C, Dの真理値が変化しうるという前提で議論したのですゾ.

　よって[BならばD]は[BでありかつDでない]可能性がある時には偽だし[Bでなければ
Dでない]は[BでなくかつDである]可能性がある時には偽.

　実際に真理表で考えるなら

 <BD>: 0:<FF> 1:<FT> 2:<TF> 3:<TT>
 左から順に<BD>の可能性 [BならばD] [BでなければDでない] [(BならばD)または
(BでなければDでない)]の真理値
 {0} T T T
 {1} T F T
 {0,1} T F T
 {2} F T T
 {0,2} F T T
 {1,2} F F F
 {0,1,2} F F F
 {3} T T T
 {0,3} T T T
 {1,3} T F T
 {0,1,3} T F T
 {2,3} F T T
 {0,2,3} F F F
 {0,1,2,3} F F F

　と言うわけで, {1,2}{0,1,2}{0,2,3}{0,1,2,3}のところで偽となっているので非恒
真と
判断したわけです.

　それから私は“真理表による”とは書きましたが“AならばB”を“A⊃B”と解釈す
る
とは書いていませんので誤解なきよう（いわゆるModal LogicやRelevant Logicも
Fregean理論の一種だと私は認識していますので）.

++++++++++++++++++++++++++++++++++++++
To err is human, to forgive divine.
Tomohiro Yamada --- APTWEB & ARTWEB
y64k@chive.ocn.ne.jp or yamada@legendre.com
--------------------------------------

Technical Details

Message-ID: <8kr31r$nft$1@nn-os102.ocn.ad.jp>

Path: arc1-ca.pugleaf.net!unknown!not-for-mail

References:

<39674E92.2A87548C@apionet.or.jp> <396CE373.7E88121C@apionet.or.jp> <8konpd$57r$1@nn-os106.ocn.ad.jp> <39707BEC.5EA71354@apionet.or.jp>

Show Full Headers

Complete Article Headers

X-Google-Language: Japanese,JIS
X-Google-Thread: ffb0e,cea956b711ce32a5
X-Google-Attributes: gidffb0e,public
X-Google-Thread: f4956,cea956b711ce32a5
X-Google-Attributes: gidf4956,public
X-Google-Thread: 10b7c5,cea956b711ce32a5
X-Google-Attributes: gid10b7c5,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: More Quiz!!
Date: 2000/07/16
Message-ID: <8kr31r$nft$1@nn-os102.ocn.ad.jp>
X-Deja-AN: 646854975
Content-Transfer-Encoding: 7bit
References: <39674E92.2A87548C@apionet.or.jp> <396CE373.7E88121C@apionet.or.jp> <8konpd$57r$1@nn-os106.ocn.ad.jp> <39707BEC.5EA71354@apionet.or.jp>
X-Priority: 3
Followup-To: fj.sci.math,fj.sci.philosophy
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-os102.ocn.ad.jp 963710843 24061 211.11.65.97 (16 Jul 2000 01:27:23 GMT)
Organization: APTWEB & ARTWEB
X-MSMail-Priority: Normal
Mime-Version: 1.0
NNTP-Posting-Date: 16 Jul 2000 01:27:23 GMT
Newsgroups: fj.sci.lang,fj.sci.math,fj.sci.philosophy,fj.education.math,fj.education

Reply to Parent Message