Path: ccsf.homeunix.org!ccsf.homeunix.org!news1.wakwak.com!nf1.xephion.ne.jp!onion.ish.org!news.heimat.gr.jp!taurus!newsfeed.media.kyoto-u.ac.jp!postnews2.google.com!not-for-mail
From: eurms@apionet.or.jp (M_SHIRAISHI)
Newsgroups: fj.sci.math,fj.sci.philosophy
Subject: =?ISO-2022-JP?Q?=1B$BO@M}3X=1B(B-Quiz=5F12ix2004?=
Date: 12 Sep 2004 07:16:34 -0700
Organization: http://groups.google.com
Lines: 14
Message-ID: <800c7853.0409120616.6044cefa@posting.google.com>
NNTP-Posting-Host: 218.230.228.186
Content-Type: text/plain; charset=ISO-2022-JP
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1094998594 13958 127.0.0.1 (12 Sep 2004 14:16:34 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sun, 12 Sep 2004 14:16:34 +0000 (UTC)
Xref: ccsf.homeunix.org fj.sci.math:1375 fj.sci.philosophy:29

次の 1) 〜 5) の主張のうち、正しいものを選べ。


1)［ＰならばＱである］とき［ＰでないならばＱではない］と言える場合が無いわけではない.

2)［ＰならばＱかＲである］が成立するならば［ＰならばＱである］か［ＰならばＲである］
　　かのうちの少なくとも一方が成立する．

3)「ＰではあるがＱではない」が矛盾していることは［ＰならばＱである］が成立する為の
　　必要充分条件である．

4)［Ｐであるにも拘わらずＱではない場合が在る］ことは［ＰならばＱである］が成立しない　　為の必要充分条件である．

5) 或る場合にＰが成立しないならば、Ｐは矛盾している.