- ベストアンサー
読み方を教えてください
zak33697の回答
関連するQ&A
- 数学の記号∀と∃について質問します。
数学の記号∀と∃について質問します。 例えば「∀x ∈ X,x< 10」なんかだと意味はわかるのですが、 次のように二つのコンマがあるような場合はこういう解釈で大丈夫でしょうか？ ∃x ∈ X, ∀y ∈ Y,x<y 命題「∀y ∈ Y,x<y」を満たすxが少なくとも一つ存在 よろしくお願いします。
- 締切済み
- 数学・算数
- 論理記号の表現について
(1)論理記号による文を日本語に訳すとき、両者を結びつける記号に決まりはないのでしょうか？ ある参考書では ∀x∃y(x≦y):全ての x に対して、x ≦ y を満たす y が存在する のようにコロンで仕切っています。: について特に説明はないので単なる仕切りでしょう（笑）。しかし、論理記号で表そうが日本語で表そうが同値の命題であることには変わりないので ⇔ を使って ∀x∃y(x≦y) ⇔ 全ての x に対して、x ≦ y を満たす y が存在する としてもよさそうなのですが、他の参考書やネット上の記述を見ても、上記のように表現している例は見当たりません。何か理由があるのでしょうか。 (2) T を真を表す記号としたとき「命題 A は真である」ことを A ⇔ T のように表していいのでしょうか？ たとえば変数 x の動く領域を実数の集合[R]としたとき、 x∈[R],∀x(x^2 - 4x + 5 > 0) ⇔ T. のように表していいのでしょうか。
- ベストアンサー
- 数学・算数
- ガウス記号って？
ガウス記号の所を現在勉強しているのですが x,yを実数とするとき、 [x]+[y]≦[x+y]≦[x]+[y]+1であることを示せ。 という問題なのですが [x]+[y]≦x+y＜[x]+[y]+2まででとまってしまって この先どうやって証明して良いかわかりません。 ↑しかもこの途中経過はあってるか自信なしです。 助けてください。 余談なんですが、そもそもガウス記号というのは どうして必要になったんですか？昔授業でグラフを書いた記憶は あるんですが、なんのために必要なのか、どうして生まれたのか さっぱりです。実生活で使わないし(笑） あわせてお願いします。
- ベストアンサー
- 数学・算数
- 教えてください・・・
分かりにくいんですが、Xは、エックスです。 (1)3X-2y=2X-y-1=X＋y-6 { 連立方程式で (2) 3X-４＜2X＋6 2X-8＞-3X＋12 ←この式だけ＞記号の下に＝があります。 ＝ よろしくお願いします。
- ベストアンサー
- 数学・算数
- 以下の2つの論理式が同値であることの証明
記号論理学についての初歩的な質問です。 以下の論理式(1)と(2)がなぜ同値になるのか、直感的にもわからず、証明もできず困っています： (1) ∃x(∀y(Py→y=x) & Px) (2) ∃x∀y(Py≡y=x) （≡は双条件の記号です。） (1)では、Pを満たす個体は唯一つある、というのは良く分かるのですが、(2)ではそれがうまくつかめません。 また(2)は、∃x∀y((Py→y=x) & (y=x→Py)) と分析できると思いますが、見た目では2つ目の連言肢が(1)のPxに相当すると感じるのですが。 お詳しい方、 お手数ですがひとつご教示いただければと思います。 よろしくお願いいたします。
- ベストアンサー
- 哲学・倫理・宗教学
お礼
どうも有難うございました。 助かりました。