議論領域 の検索結果 (1,000件 1〜 10 件を表示)

論理記号の∨について。

議論領域を自然数として、「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の倍...…

締切

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

Q質問する(無料)

おすすめ情報

Q&A検索履歴

カテゴリ