- ベストアンサー
次のような命題を区別する名称を教えて下さい。
boisewebの回答
- boiseweb
- ベストアンサー率52% (57/109)
呼び分けのための定着した名称が存在しないのは，たぶん，あえて呼び分ける必要がない（通常，ひとつの文脈では1か2のどちらか一方だけが現れるので，区別する必要が発生しない）からだと思います．私も，呼び分けのための名称をことさらに与える必然性を感じません． 後半については，手前味噌ながら， http://okwave.jp/qa/q4144011.html の #4（ベストアンサー） を参考にしてください． -------- （蛇足） 一部の領域が塗り潰されたベン図は，見る人に「塗り潰された領域が表す『集合』を指し示す意図で図を提示している」という印象を与えます． ご質問の2の場合，表現したいのは『集合』ではなくて（ある集合が別の集合に包含されているという）『状態』なので，「塗り潰す」ことが適切かどうかは議論の余地があります（少なくとも塗り潰しは「必要でない」）．
関連するQ&A
- 高校数学 命題に関する質問
命題 P⇒Qの真偽表 : https://ja.wikipedia.org/wiki/%E7%9C%9F%E7%90%86%E5%80%A4%E8%A1%A8 命題 P⇒Qにおいて,P : x>3 Q : x>1 の場合、命題P⇒Qの真偽を普遍的に判断することは可能ですが、 Pの単体の真偽やQ単体の真偽は,普遍的に判断することはできませんよね？(xに何を代入するかによって変わってしまうため、普遍的でない) 命題 P⇒Qにおいて,PやQが普遍的に真偽が決まらないとき、一番上に記載した真偽表は使えないのでしょうか？ もし使える時、それはどのように使われますか？
- 締切済み
- 数学・算数
- 数学の命題の問題です。
数学の命題の問題です。 次の命題を論理式で書き、真偽を調べよ。さらに、その証明を与えよ。 ここでは、Xは空でない普遍集合とし、P(A)はAのべき集合をあらわす。 「Xの部分集合Aに対してP(A∪B)=P(A)∪P(B)となるXの部分集合Bが存在する」 回答よろしくお願いします。
- 締切済み
- 数学・算数
- 命題について
いま、「数学は言葉」という本を読んでいます。 ｐ３８からｐ３９にかけて、 「証明できないような図形の命題をあげよ」という例題があります。 「ｘは三角形である。」 「ｘに代入する値によって、この命題の真偽は変化するのです。このような命題は証明することができません。」 とあるのですが、真偽が変化するのにどうして命題といえるのか。真偽が判定できるから命題というのではないのでしょうか。もちろん、証明できないから命題ではないと言えないのは分かりますが。例えば、三平方の定理とか。 さらにｐ３９のところで、 「三角形の２辺の長さの和は残る１辺の長さよりも短い」も図形の命題ですが、偽なる命題です。偽なる命題が証明されてしまっては困ります。 以上のことから、「自由な変数が含まれているため、真偽が定まらない命題」や「偽なる命題」は（枠組み自体が歪んでいない限り）証明できないことがわかります。 とあります。 「三角形の２辺の長さの和は残る１辺の長さよりも短い」は偽なのは分かりますが、証明できるものなのかどうかよく考えてみると少なくとも私には証明できません。ということはこれは「証明できない命題」なのでしょうか。もし証明できないとすれば例題の証明できない図形の命題ということになるのですが。さらに「偽なる命題が証明されてしまっては困ります。」とはどういう意味で書かれているのでしょうか。ピンとこないのです。 けっこう難しいと思うのですがわかりやすく説明できる方はいませんでしょうか。 宜しくお願いします。
- ベストアンサー
- 数学・算数
- 命題の真偽を調べよ。
集合を用いて、次の命題の真偽を調べよ。 ・|x|<3 ならば、 x<3 私の回答は、 -3<x<3より、不適。 よって、偽。（反例、x=-4） なのですが、回答には真。と書かれていました。 どこを見落としたのかも、分かりません。 因みに問題が載っているのは、数研出版の「スタンダード数学I＋A」、 p,102 第２章 論理と集合 １５、命題と条件の、問い１６７の（１）になります。 お手数ですが、ご意見・ご回答お願いします。
- ベストアンサー
- 数学・算数
- 命題について
基礎的な質問です。 命題を p:人は虎穴に入る q:人は虎児を得る としたとき、虎穴に入らざれば、虎児を得ず は、not_p → not_q という、条件文を指すと思います。 そこで、ふと疑問におもったのですが、 単体命題のp,qにて使われている 人は、の人はどの人を指しているのでしょう? p,qそれぞれを人が誰を指すかで真偽が決まる命題関数と、とらえるべきなのか、 全ての人は孤児を得る のような全称肯定型なのか、 ある人は、虎児を得る (虎児を得る人もいる) のような存在肯定型命題なのか どなたか、教えて頂けないでしょうか？ 数学音痴を直したいのです。よろしくお願いします。
- ベストアンサー
- 数学・算数
- 命題 空集合 成り立つか
もし模擬の命題があるとすると「偽の命題と別の命題との積集合は絶対に、空集合である」という文章は成り立ちますか？ 例えば、 p：「魚は生物である」 q：「物差しは生物である」 集合pと集合qの積集合は、空集合である。
- ベストアンサー
- 数学・算数
- 数学A、命題と論証の質問
次の命題p、qについてp⇒qの真偽を 集合を用いて答えよ。 p:自然数nは8の倍数である。 q:自然数nは4の倍数である。 これについて解答には 8の倍数である自然数の集合をP、 4の倍数である自然数の集合をQとすると P⊂Q(PはQの部分集合である)なので p⇒qは真である。 と書かれているのですが pとPは何がどう違うのか、qとQは何がどう違うのか また、P⊂Qならば何故p⇒qが真なのかが もうひとつよくわかりません。 具体例等を示して説明していただけるとありがたいです。 よろしくお願いします。
- 締切済み
- 数学・算数
- 命題「PならばQ」でPが偽ならば、命題は真？
命題「PならばQ」で、Pが偽のとき、Qの真偽に関わらず 「PならばQ」が真になるのが、納得できません。 よい説明がありましたらお願いします。
- ベストアンサー
- 数学・算数
お礼
>後半については，手前味噌ながら， http://okwave.jp/qa/q4144011.html の #4（ベストアンサー） を参考にしてください わかりやすいです。ありがとうございます。 ところでwikipediaの論理包含のページにあるベン図は間違いなのでしょうか？ http://ja.wikipedia.org/wiki/論理包含 宜しくお願いします。