- 締切済み
自然演繹法
論理学初心者です。 全称の導入則の証明問題で、 (∀ｘ)(Fx∧(Fx⇒Gｘ)｜（∀ｙ）Gyとあるのですが、 結論は、（∀ｙ）Gｘでなく、（∀ｙ）Gyで問題あっているのでしょうか？この場合、、（∀ｙ）Gｘと（∀ｙ）Gyはどう違うのでしょうか？ たとえば、「だれもが、だれかを愛する。」で、主語をｘ目的語をｙとおいて、区別するのはわかるのですが・・「だれもが、だれかを愛する。」の場合、議論領域を人間として、全称に存在が支配されているので、このばあい、A君がA君を愛するという場合も含まれていると思うのですが、これはあっていますか？変項の理解の仕方がわかりません。 なんか、混乱した記述になりましたが、以上どなたかわかるかた、お願いします。
- dasein2009
- お礼率40% (2/5)
- 数学・算数
- 回答数3
- ありがとう数2
- みんなの回答 （3）
- 専門家の回答
関連するQ&A
- 変項の概念がよくわかりません！
同じような見映えの質問を以前にもしましたが(内容は違います)また疑問がでてきてしまいました…変項の概念が分からないのです。ある一つの文字による変項にはどんな場合でもある一つの定項しか当てはめられないのですか？ 議論領域を自然数として、「xは偶数である」をFx、「xは奇数である」をGxとしたとき、 ∃x(Fx∧Gx)これは多分偽と解釈するのでしょうが、 では(∃xFx∧∃xGx)はどうなるのでしょうか。 (∃xFx∧∃xGx)のxとは変項ですが、もしこの変項を定項aとしたら、Fa∧Gaとしなくてはいけないのですか？ それとも(∃xFx∧∃xGx)の変項xを仮にFa∧Gbとしてもよいのですか？
- ベストアンサー
- 哲学・倫理・宗教学
- 論理学、正しい演繹かどうか分かりません
野矢茂樹先生の新版論理トレーニングの課題演習で次のような問題がありました。 次の推論は、演繹として正しいか、誤っているか。誤っている場合はどうして誤りなのか説明せよ、というものです。番号は私がふりました。 あるクラスの学生について調べたところ、(1)倫理学をとっている学生は誰も論理学をとっていなかった。また、(2)哲学をとっている学生は全員論理学をとっていた。このことから、(3)倫理学をとっていない学生だけが哲学をとっている、と結論できる。 私の考えは、以下の通りで正しい演繹ではないとなりましたが、ベン図を書くと結論は正しいようです。書籍に解答が無く困っています。どなたかご教授お願いします。 倫理学をとっているをA、倫理学をとっていないをa、 論理学をとっているをB、論理学をとっていないをb、 哲学をとっているをC、哲学をとっていないをcとする。 (1)はA→b、(2)はC→B、これらを前提として(3)a→Cと結論できるかが問題となっている。(1)の対偶はB→aであるから、(2)と併せてC→aは成り立つ。a→CはC→aの逆であるため、正しい演繹とはいえない。
- ベストアンサー
- 哲学・倫理・宗教学
- ナブラ ラプラシアン 勾配 発散 回転
勾配、発散、回転についてわからない点があるので 質問させて頂きます。 前回の質問で、 ∇=（∂/∂x,∂/∂y,∂/∂z）=ex∂/∂x+ey∂/∂y+ez∂/∂z であることは理解できました。 また、Δに関しても、 Δ=∇・∇=（∂/∂x）^2+（∂/∂y）^2+（∂/∂z）^2 となることも理解できました。 ex,ey,ezは基底ベクトルを表します。 ここで、 勾配（grad）は、 スカラー関数をfとすると gradf=∇f=（∂/∂x,∂/∂y,∂/∂z）f=（ex∂/∂x+ey∂/∂y+ez∂/∂z）f となることは理解できます。 発散（div）は、 ベクトル関数をg=（gx，gy，gz）とすると、 divg=∇・g=（∂/∂x,∂/∂y,∂/∂z）・（gx，gy，gz） より計算され、 divg=∂/∂x（gx）+∂/∂y（gy）+∂/∂z（gz） となります。 ex∂/∂x+ey∂/∂y+ez∂/∂zを使って表す場合は どのようにすればよいのでしょうか？ 回転（rot）も同様に、 ベクトル関数をg=（gx，gy，gz）とすると、 rotg=∇×g=（∂/∂x,∂/∂y,∂/∂z）×（gx，gy，gz） より計算され、 rotg=（∂/∂y（gz）-∂/∂z（gy）,∂/∂z（gx）-∂/∂x（gz）,∂/∂x（gy）-∂/∂y（gx）） となります。 ex∂/∂x+ey∂/∂y+ez∂/∂zを使って表す場合は どのようにすればよいのでしょうか？ また、行列式を使って添付画像のように表されますが なぜそのように表されるのか理解できません・・・ 以上、ご回答よろしくお願い致します。
- ベストアンサー
- 数学・算数
- ベクトル関数
ベクトル関数について質問させて頂きます。 添付画像における、Gはベクトル関数を表します。 ベクトル成分で表した場合、 Gx(x,y,z),Gy(x,y,z),Gz(x,y,z) となりますが、この成分の意味がいまひとつ理解できません。 Gx(x,y,z)はスカラー（関数）という認識ですが正しいでしょうか？ 3次元で、Gx(x,y,z)におけるGxとはベクトル関数Gのx成分を表し、 Gx(x,y,z)の（x,y,z）はスカラー関数Gxにおける変数を表すと いう認識で良いでしょうか？ ベクトル関数Gのx成分をGxが表していて、そのGxが(x,y,z)の変数 で表されることがよくわかりません・・・ xを表すGxがなぜ、x,y,zの変数で表されるのでしょうか？ 基底ベクトルで表す場合は、 G=Gxex+Gyey+Gzezとなりますが、 G=Gx(x,y,z)ex+Gy(x,y,z)ey+Gz(x,y,z)ez を省略して表しているという認識で良いでしょうか？ 添付画像のベクトル関数の簡単な具体例も示して頂けると ありがたいです。 webで調べたのですがなかなか理解できる例がありません でした・・・ 以上、申し訳ありませんがご回答よろしくお願い致します。
- ベストアンサー
- 数学・算数
- ラグランジュの未定乗数法について
こんにちは、ラグランジュ未定乗数法を使う問題で分からないものがあったので質問させていただきます。 x^2+y^2+z^2=1 の条件の時、f(x,y,z)=5x^2+3y^2+4z^2+4xz+4yzの最大値と最小値を求めよ という問題です。 fx/gx=fy/gy=fz/gz=λで表せるので、 10x+4z=2xλ 6y+4z=2yλ 8z+4x+4y=2zλ の３つの式が得られたのですが、ここからどうすればいいか分かりません。 直接x,y,zの組み合わせを見つけるのは難しそうなので、まずそれぞれの変数をλの式で表して条件式に代入し、λの値を求めた後組み合わせを見つけようと思いました。 しかし、上の3式からそれぞれの変数をλで表せません。なにか他のやりかたがあるのでしょうか。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 論理記号の∨について。
議論領域を自然数として、「xは偶数である」をFx、「xは素数である」をGxとしたとき、 ∃x(Fx∨Gx)は真になりますか？ また、 (∃xFx∨∃xGx)はどうなるのでしょうか。
- ベストアンサー
- 哲学・倫理・宗教学
- 2変数関数の極値の問題です。
2変数関数の極値の問題です。 次の極値の問題について議論せよ。 f(x,y)=x^4-y^4 という問題で、fx=fy=0を満たす(a,b)でfxx=A,fxy=B,fyy=Cとおいて、極値判定法を考えましたが、この場合、(a,b)=(0,0)だけとなり、B^2-AC=0となって極値の判定ができませんでした。 この場合、どのような方法で示せばよいのでしょうか。 よろしくお願いします。
- 締切済み
- 数学・算数
- PHPでこのような数字を算出するには、どのような式を作れば良いですか?
PHPでこのような数字を算出するには、どのような式を作れば良いですか?また、このグラフは自然対数ですか? http://card.no-ip.info/math/m.php?s=y=exp%28x%29&gx0=-8&gx1=8&gy0=-8&gy1=8 例えば、Aの数字があるとします。それを1段階ずつレベルアップするとします。そのレベルアップに伴ってAの数字がランダムのように増えていき、最大値もランダムによって違ってくるといった計算方法はありますでしょうか。 申し訳ありませんが、私は頭が悪くてさっぱり分かりません。分かる方は教えて頂けませんでしょうか。
- ベストアンサー
- PHP
補足
回答ありがとうございます。ところで、ではなぜわざわざ（∀x）Gxではなくて（∀y）Gy にするのでしょう？ただの趣味の問題なんでしょうか？