Re: More Quiz!!

Article View: fj.sci.lang

Article #444

#444

From: M_SHIRAISHI
Date: Sat, 15 Jul 2000 00:00

22 lines
2229 bytes

Tomohiro Yamada wrote:

> 　β. 真理表による結果.
>
> 　β8. 前件は反例4, 6, 12, 14により偽. 後件は反例1により偽. よってA, B, C, D
> の 真理値が4, 6, 12, 14のどれかと1をとり得るとき, そしてその時に限り8も偽.



（８） は、Fregean 理論 --- いわゆる、“古典論理” --- では（Ｂ⊃Ｄ）∨（～Ｂ⊃～Ｄ）
 と 表わされる筈。 そして、真理表 で確かめられる通り、これは 「恒真式」 。

   ところで、Fregean 理論では、К｛Ａ，Ｂ，Ｃ，Ｄ｝⊃Л｛Ａ，Ｂ，Ｃ，Ｄ｝ なる 論理式 は
 後件Л｛Ａ，Ｂ，Ｃ，Ｄ｝が 恒真 である限り、前件 К｛Ａ，Ｂ，Ｃ，Ｄ｝ の真偽に依らず、
 その論理式 К｛Ａ，Ｂ，Ｃ，Ｄ｝⊃Л｛Ａ，Ｂ，Ｃ，Ｄ｝ は 恒真 の筈。

    従って、（８）は恒真！



# このところ、蒸し暑いからといって、ボケちまっては アカンぜよ、山田のカカシさん。
 ---- な～んて、失礼なことを言っては、アカンわなぁ。  Sorry, indeed.   m( _ _ )m

Technical Details

Message-ID: <39707BEC.5EA71354@apionet.or.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>

Show Full Headers

Complete Article Headers

X-Google-Language: Japanese,JIS
X-Google-Thread: ffb0e,cea956b711ce32a5
X-Google-Attributes: gidffb0e,public
X-Google-Thread: 1065a2,cea956b711ce32a5
X-Google-Attributes: gid1065a2,public
X-Google-Thread: f4956,cea956b711ce32a5
X-Google-Attributes: gidf4956,public
X-Google-Thread: 10b7c5,cea956b711ce32a5
X-Google-Attributes: gid10b7c5,public
X-Google-Thread: 115699,cea956b711ce32a5
X-Google-Attributes: gid115699,public
From: M_SHIRAISHI <eurms@apionet.or.jp>
Subject: Re: More Quiz!!
Date: 2000/07/15
Message-ID: <39707BEC.5EA71354@apionet.or.jp>
X-Deja-AN: 646755817
Content-Transfer-Encoding: 7bit
References: <39674E92.2A87548C@apionet.or.jp> <396CE373.7E88121C@apionet.or.jp> <8konpd$57r$1@nn-os106.ocn.ad.jp>
X-Accept-Language: ja,en-GB
Content-Type: text/plain; charset=iso-2022-jp
X-Complaints-To: usenet@apionet.or.jp
X-Trace: apionw.apionet.or.jp 963672059 1404 210.232.57.44 (15 Jul 2000 14:40:59 GMT)
Organization: Apionet, Tottori, JAPAN
Mime-Version: 1.0
NNTP-Posting-Date: 15 Jul 2000 14:40:59 GMT
Newsgroups: fj.sci.lang,fj.sci.math,fj.sci.philosophy,fj.education.math,fj.education

Reply to Parent Message