Path: ccsf.homeunix.org!ccsf.homeunix.org!news1.wakwak.com!nf1.xephion.ne.jp!onion.ish.org!gcd.org!jindaiji.chofu.tokyo.jp!mmcatv.co.jp!news.moat.net!news.glorb.com!postnews.google.com!not-for-mail
From: yosida@parkcity.ne.jp (???V)
Newsgroups: fj.sci.math,fj.sci.philosophy
Subject: Re: Quiz_07xi2004
Date: 4 Dec 2004 00:06:06 -0800
Organization: http://groups.google.com
Lines: 61
Message-ID: <61c04dbb.0412040006.702200e0@posting.google.com>
References: <800c7853.0411060853.71467a59@posting.google.com>
NNTP-Posting-Host: 211.19.209.106
Content-Type: text/plain; charset=ISO-2022-JP
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1102147567 12361 127.0.0.1 (4 Dec 2004 08:06:07 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sat, 4 Dec 2004 08:06:07 +0000 (UTC)
Xref: ccsf.homeunix.org fj.sci.math:1707 fj.sci.philosophy:157

吉田@parkcityです。

physicsとの関係はなさそうなので投稿先から削っています。
# philosophyとの関係はあるかないかわからないので残しています。

あまりmath的な話でもなく、元記事の投稿者の意図とも関係なく、
むしろ日本語として、とか通常の「常識」として、
他の人はどう読み取るのかという興味です。


X={A,B,C,D}、
Yを{a,d} (a=取ってよい, d=取ってはならぬ)
とすると、
イ〜ホは「どの組み合わせで取ってよいのか」を表す
Xのべき集合からYへの写像fについての条件を表すと認識しています。
以下、本質的に変わらないのでC,Dを省略しX={A,B}とします。


> イ：［Ａ，Ｂ，Ｃ，Ｄ の個物うち、１つに限らず、どれを取ってもよい］

f({A})=f({B})=f({A,B})=a

・f({})=aを含意するか？
日常生活なら含意しないのですが、
mathという場面だと含意するケースも有りそうな気がします。

・「１つに限らず【いくつ】取ってもよい」という方が
私には自然に感じられますがどうでしょう？


> ロ：［Ａ，Ｂ，Ｃ，Ｄ の個物うち、１つだけなら、どれを取ってもよい］

f({A})=f({B})=a

・f({})=f({A,B})=dを含意するか？
（取らないのはよいか？複数とってはならぬのか？）
日常生活なら通常含意するのですが、
mathという場面だと含意しないケースの方が多い気がします。


> ハ：［Ａ，Ｂ，Ｃ，Ｄ の個物うち、特定の１つ（例えば、Ａ）だけしか取ってはならぬ］

f({A,B})=d
f({A})とf({B})の内1つだけがaで残りはd

・f({})=aを含意するか？
（何も取らなくてもよいか？）


> ニ：［Ａ，Ｂ，Ｃ，Ｄ の個物うちのどれかは取ってもよい］

f({A}),f({B}),f({A,B})の内少なくとも一つはa


> ホ：［Ａ，Ｂ，Ｃ，Ｄ の個物うちのどれも取ってはならぬ］

f({A})=f({B})=f({A,B})=d

・f({})=aを含意するか?
（どれも取らなくてよいと断言できるか？）
---