議論領域

の検索結果 (1,000件 1〜 20 件を表示)

論理記号の∨について。

議論領域を自然数として、「xは偶数である」をFx、「xは素数である」をGxとしたとき、 ∃x(Fx∨Gx)は真になりますか? また、 (∃xFx∨∃xGx)はどうなるのでしょうか。…

解決

非量化的?

…「Heimは,定名詞句も不定名詞句も非量化的だが,どち らも変項(variable)を必要とする,と分析した」という文章があるのですが、非量化的ってどういうことですか。 量化子などの意味は分かるの...…

締切

非量化的?

…「Heimは,定名詞句も不定名詞句も非量化的だが,どち らも変項(variable)を必要とする,と分析した」という文章があるのですが、非量化的ってどういうことですか。 量化子などの意味は分かるの...…

解決

述語論理におけるコンパクト性 いくらでも大きい有限

…述語論理のコンパクト性より 「論理式の集合△は、いくらでも大きな有限集合を議論領域とするモデルによって充足可能ならば、△は無限集合を議論領域とするモデルによって充足可能で...…

解決

自然演繹法

…論理学初心者です。 全称の導入則の証明問題で、 (∀x)(Fx∧(Fx⇒Gx)|(∀y)Gyとあるのですが、 結論は、(∀y)Gxでなく、(∀y)Gyで問題あっているのでしょうか? この場合、、(∀y)Gxと(∀y)Gyはどう...…

締切

論理学の問題

議論領域は正の整数の集合として P(x,y)は「xはyで割り切れる」とします。 そして以下の論理式に対して 真偽を論じたいと思います。 (場合分けして考えてもよいです) ∀x∃x(P(x,y)∧¬(x=y))...…

解決

高階述語論理について質問です!!

…二階述語論理では、Henkin semanticsのもとで完全性定理が成り立つそうですが、これは二階以上の高階述語論理でも成り立ちますか? 詳しい方よろしくお願いします!!…

解決

個体領域とは

…「P(x) ,Q(x)を,Xを個体領域とする条件とする。」 というときの個体領域とは何ですか?…

締切

数学 全称記号∀について

…数学で 「全ての3以上の自然数に対して、命題Pが成り立つ」 というのは、どのように表記すればいいのでしょうか? ∀n∈Ζ ∩ n≧3,命題Pが真 で、あっていますか? よろしくお願いします…

解決

代数の合同について

…x^2≡0 mod 75 ならば、75|xである。 これを素因数分解を利用して証明せよ。 という問いなのですが、 x^2≡0 mod 75 はx^2÷75の余りは0ということを意味してるので x^2=5×5×3k(kは整数) でxは15の倍...…

締切

心の哲学:心の哲学的説明と科学的説明の違い

…心について科学哲学の立場で勉強していますが、壁にぶつかってしまいました。 それは、心について、哲学の立場で説明することと、科学の立場で説明することの違いが判らなくなってき...…

解決

柱の座屈について教えてください

…柱の座屈について教えてください 柱に対して単純軸圧縮力を加えた場合、曲げが生じるにも関わらず、座屈荷重を断面積で除したものを許容座屈応力度以下とする、といった形で強度を評...…

締切

述語論理の量化子の問いです。

…「あなたは任意の教会に行かなければならない。」と「あなたは全ての教会に行かなければならない。」を量化子を使って述語論理の論理式で表して下さい。…

解決

現代における審美の可能性

…審美の問題は、近年、OKWaveの哲学カテで様々な質問が提起され、多くの関心を集めた問いでした。 美の問題が哲学の領域で議論されるのは、下記で示すように、非常に的を得ています。 し...…

解決

0以上1未満の数の集合Mの表し方

…素人なりに、 M={x|x∈[0,1)} と書くと考えたのですが間違いでしょうか? 間違いなら、正しい書き方を教えてください…

解決

集合について解説お願いします。

…次の問題の解説お願いします。 答えは手元にあるのですが、解説は配布されていないのです...。 よろしくお願いします!! (1)2つの集合A,Bがある。 A∩B={3,5}, A∪B={2,3,4,5},Aの補集合∩B=φ,A∩B...…

解決

なぜ何もないのではなく、何かがあるのか?

…『なぜ何もないのではなく、何かがあるのか?』 私はこの問いをWikipediaで知りました、この問いの詳細はWikipediaに載っています、まずWikipediaの記述の一部をほぼそのまま引用します。 『なぜ...…

解決

理性、感性、知性、天性、資性等の性質が精神を成しているのでは?

…理性、感性、知性、天性、資性等は性質でしょうか? 精神は性質で出来てないでしょうか? 物質は性質を持ってるのではないでしょうか? 脳の物質などの持つ性質が精神を作っていつのでは...…

締切

次の《対話》を解釈し解説してください。

…◆ 【Q:真の唯物論は宇宙の公理から始まる】 〜〜〜〜〜 宇宙の公理 第1公理 宇宙は存在する 第2公理 宇宙と宇宙の法則は一体である 第3公理 宇宙における全ての現象は宇宙の法則に支...…

締切

背理法について

…「a^2+b^2=c^3ならば、a、b、cのうち少なくとも1つは偶数である」 (pならばq) という命題を証明するために背理法を使います。 すると 「a^2+b^2=c^3という条件のもとで a、b、cはすべて奇数であ...…

解決

検索で見つからないときは質問してみよう!

Q質問する(無料)

Q&A検索履歴