- ベストアンサー
命題についての疑問
MagicianKumaの回答
- MagicianKuma
- ベストアンサー率38% (135/348)
ことわざの意味合いからいうと、「(誰であれ）大きな利益を得るためには大きな危険を冒さなければならない。」でしょうから、p,qそれぞれを人が誰を指すかで真偽が決まる命題関数ととらえ、なおかつ「全ての人」あるいは「任意の人」とした全称量化した命題ではないでしょうか。
関連する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が普遍的に真偽が決まらないとき、一番上に記載した真偽表は使えないのでしょうか？ もし使える時、それはどのように使われますか？
- 締切済み
- 数学・算数
- 命題について
いま、「数学は言葉」という本を読んでいます。 ｐ３８からｐ３９にかけて、 「証明できないような図形の命題をあげよ」という例題があります。 「ｘは三角形である。」 「ｘに代入する値によって、この命題の真偽は変化するのです。このような命題は証明することができません。」 とあるのですが、真偽が変化するのにどうして命題といえるのか。真偽が判定できるから命題というのではないのでしょうか。もちろん、証明できないから命題ではないと言えないのは分かりますが。例えば、三平方の定理とか。 さらにｐ３９のところで、 「三角形の２辺の長さの和は残る１辺の長さよりも短い」も図形の命題ですが、偽なる命題です。偽なる命題が証明されてしまっては困ります。 以上のことから、「自由な変数が含まれているため、真偽が定まらない命題」や「偽なる命題」は（枠組み自体が歪んでいない限り）証明できないことがわかります。 とあります。 「三角形の２辺の長さの和は残る１辺の長さよりも短い」は偽なのは分かりますが、証明できるものなのかどうかよく考えてみると少なくとも私には証明できません。ということはこれは「証明できない命題」なのでしょうか。もし証明できないとすれば例題の証明できない図形の命題ということになるのですが。さらに「偽なる命題が証明されてしまっては困ります。」とはどういう意味で書かれているのでしょうか。ピンとこないのです。 けっこう難しいと思うのですがわかりやすく説明できる方はいませんでしょうか。 宜しくお願いします。
- ベストアンサー
- 数学・算数
- 命題「PならばQ」でPが偽ならば、命題は真？
命題「PならばQ」で、Pが偽のとき、Qの真偽に関わらず 「PならばQ」が真になるのが、納得できません。 よい説明がありましたらお願いします。
- ベストアンサー
- 数学・算数
- 次のような命題を区別する名称を教えて下さい。
次のような命題を区別する名称を教えて下さい。 １、二つの命題PとQからつくられる命題 PならばQ ２、二つの条件p(x)とq(x)からつくられる命題 p(x)ならばq(x) 共に単に含意命題としか表現できないのでしょうか？ また、命題を視覚的にとらえるためにベン図ですが、 １の場合はPとQ真偽を表示する円を、四角の中に一部重なるようにを二つ描いて、円Pの円Qと重なってない部分だけを除いて、塗りつぶす。 ２の場合は、成り立つときだけ、p(x)を満たす元の集合Pを表す円をq(x)を満たす元の集合Qの円の中に描き、集合Pを表す円の内部を塗りつぶす。 これで正しいのでしょうか？
- ベストアンサー
- 数学・算数
- 数学の命題の問題です。
数学の命題の問題です。 次の命題を論理式で書き、真偽を調べよ。さらに、その証明を与えよ。 ここでは、Xは空でない普遍集合とし、P(A)はAのべき集合をあらわす。 「Xの部分集合Aに対してP(A∪B)=P(A)∪P(B)となるXの部分集合Bが存在する」 回答よろしくお願いします。
- 締切済み
- 数学・算数
- 数学I 集合と論理についての質問です
教えて頂きたいことがあります。 高校数学の命題と証明の分野になります。 １．「(pまたはq)→r」の真偽判定において、 p→rとq→rの両方とも確認して真偽判定するのかどうか ２．「p→(qまたはr)」の真偽判定において、 p→qとp→rの両方とも確認して真偽判定するのかどうか 宜しくお願い致します。
- ベストアンサー
- 数学・算数
- 命題の真偽を調べよ。
集合を用いて、次の命題の真偽を調べよ。 ・|x|<3 ならば、 x<3 私の回答は、 -3<x<3より、不適。 よって、偽。（反例、x=-4） なのですが、回答には真。と書かれていました。 どこを見落としたのかも、分かりません。 因みに問題が載っているのは、数研出版の「スタンダード数学I＋A」、 p,102 第２章 論理と集合 １５、命題と条件の、問い１６７の（１）になります。 お手数ですが、ご意見・ご回答お願いします。
- ベストアンサー
- 数学・算数
補足
つまり、p,q単体は命題関数であるのに対して、 合成命題のp→qという条件文にした時点で、 全てのpはqであるという全称肯定型の命題になってるということでしょうか？ よろしくお願いします。