The Final Quiz

Article View: fj.sci.lang

Article #431

#431

From: M_SHIRAISHI
Date: Wed, 02 Aug 2000 00:00

21 lines
2255 bytes

The Final Quiz.


【問題４】  次の (1)～(7) のうち、正しいものを選べ。

   (1) [Ａ] と [Ｂ] とが矛盾しているならば、[Ａ] から [not-Ｂ] が導かれる．

   (2) [Ａ] から [not-Ｂ] が導かれるならば、[Ａ] と [Ｂ] とは矛盾している．

   (3) [Ａ] と [not-Ｂ] とが同値である（即ち、[Ａ] から [not-Ｂ] が導かれ
       かつ [not-Ｂ] から [Ａ] が導かれる）場合 及び その場合に限り、
       [Ａ] と [Ｂ] とは矛盾している．

   (4) [Ａ] から [Ｂ] が導かれるならば、[Ａ] と [Ｂ] とは矛盾してはいない．

   (5) [Ａ] と [Ｂ] とが矛盾しているならば、[Ａ＆Ｂ] は偽である．

   (6) [Ａ＆Ｂ] が偽ならば、[Ａ] と [Ｂ] とは矛盾している．

   (7) [Ｐならば、Ｑである] と [Ｐならば、Ｑではない] とが矛盾する
       のは、Ｐが無矛盾である場合に限る．

Technical Details

Message-ID: <39883217.9133FD6C@apionet.or.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>

Show Full Headers

Complete Article Headers

X-Google-Language: Japanese,JIS
X-Google-Thread: 10b7c5,cea956b711ce32a5
X-Google-Attributes: gid10b7c5,public
X-Google-Thread: 1065a2,cea956b711ce32a5
X-Google-Attributes: gid1065a2,public
X-Google-Thread: ffb0e,cea956b711ce32a5
X-Google-Attributes: gidffb0e,public
X-Google-Thread: f4956,cea956b711ce32a5
X-Google-Attributes: gidf4956,public
X-Google-Thread: 115699,cea956b711ce32a5
X-Google-Attributes: gid115699,public
From: M_SHIRAISHI <eurms@apionet.or.jp>
Subject: The Final Quiz
Date: 2000/08/02
Message-ID: <39883217.9133FD6C@apionet.or.jp>
X-Deja-AN: 653667651
Content-Transfer-Encoding: 7bit
References: <39674E92.2A87548C@apionet.or.jp> <396CE373.7E88121C@apionet.or.jp> <39738F65.149BAD1B@apionet.or.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 965225986 7927 210.232.57.50 (2 Aug 2000 14:19:46 GMT)
Organization: Apionet, Tottori, JAPAN
Mime-Version: 1.0
NNTP-Posting-Date: 2 Aug 2000 14:19:46 GMT
Newsgroups: fj.sci.lang,fj.sci.math,fj.sci.philosophy,fj.education.math,fj.education

Reply to Parent Message