恒真式

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

論理式が恒真式であるか吟味する問題で

…●(pV●q)⊃((●pVq)V(●p∧●q)) (●には、「でない」を表す“「"を90度回転させたような記号が入ります) が恒真式であるか吟味する問題なのですが、 論理式の場合も、()を先に考えれば...…

解決

恒真式の真理表について

…質問させていただきます。 真理表についてわからなくて、大変困ってしまっています。 下記の論理式を真理表にするのでうが…わかる方、教えてください。 よろしくお願い致します。 1 ((...…

解決

数学でいう「証明」と論理学でいう「証明」は異なるものでしょうか?

…数学で使われる「証明」という言葉と論理学で使われる「証明」という言葉は意味が異なるものであると思うのですが,間違いでしょうか? 公理系で挙げられる代表的な恒真式と推論規則に基...…

解決

数学でいう「証明」と論理学でいう「証明」は異なるもの?

…数学で使われる「証明」という言葉と論理学で使われる「証明」という言葉は意味が異なるものであると思うのですが,間違いでしょうか? 公理系で挙げられる代表的な恒真式と推論規則に基...…

締切

乱数性、不確定性原理、他の関係は?(訂正)

…stomachman 様他へ: 前回の質問の式は恒真式でした。訂正します: 物理乱数性の必要条件は、 (コペンハーゲン解釈∨不確定性原理) でしょうか。…

解決

カリーのパラドックス

…論理学のカテがないのでこちらのカテで質問します。 当方、完全に素人で、最近いくつか本を読んだらこんがらがってきたので質問させてください。 Wikipediaのカリーのパラドックス(http://j...…

解決

論理式

…(P ∧ ¬Q)→P (1) 上の論理式が恒真か否か示せ。 (2) 上の論理式が証明可能か否か示せ。 (1)(2)どちらかでも分かる方がいらっしゃいましたら 教えていただきたいです…

解決

演繹

…演繹的推論における推論と論理式の関係があまりよくわかりません。 真理関数そのものは推論ではないっていうし・・・ (?_?)…

解決

偽⇔偽

…また似たような質問ですみません。 命題Aも命題Bも偽であるとき、 A⇔B は、 A→XかつB→Y(X,Yは真偽の分からない任意の命題) と同値と考えていいですか?…

解決

数理論理学について

…導出原理を使い,次の論理式が恒真であることを示せ. ∀xR(x,f(x)) ∧ ∀x∀y(R(x,y)⊃R(y,x)) ⊃ ∀x∃yR(f(x) ,y) なお,この論理式をスコーレム標準形にすると,次の論理式が得られる. ∃w∃x∃y∃z ...…

解決

トートロジーは真理ですか

…ウィットゲンシュタインの前期思想に【トートロジーは真理である】と言うのがあります。 条件文の論理式で、(1)(A⇒B)∧(B⇒C)⇒(A⇒C)は、3段論法を示すトートロジーです。 (2)¬(A⇒¬B)⇒(A...…

締切

トートロジーについて

…トートロジーについてですが、もしp and q がトートロジーTならば、p はTで、qもTだとおもいますが、あっていますか? 教えてください。…

解決

トウトロジー について

…トウトロジー とはどういう意味ですか?…

解決

命題論理の定理の証明

…論理学の有名な定理? A→C,B→C,ならばAvB→C というのがありますが http://en.wikipedia.org/wiki/Disjunction_elimination AvB=(¬A) →B それは 命題論理の公理系 1) φ → (χ → φ) 2) (φ → (χ → ψ)) → ((φ...…

締切

変数同士のx

…回答お願いします。…

解決

トートロジーって?

…どういう意味ですか? 辞書に書いてある意味を読んでみてもよくわかりません。 具体例とかあればなおうれしいです。…

解決

数学 同値と必要十分の意味について

…すみません。 教えて下さい。 命題のところで、一般には、偽になりうる双条件文 P ⇔ Q のことを同値命題と言い、 これが、恒真命題のときに、PとQ はたがいに必要十分条件であると言...…

解決

記号論理学または数理論理学は、包摂関係大小関係は明示されるにしても、数

…記号論理学または数理論理学は、包摂関係大小関係は明示されるにしても、数を不要として展開しているのでしょうか? 数量化しないで大小関係を示すということでしょうか?…

締切

真か偽かの数学の解説をお願いします

…a,bは自然数、A(x:xは2で割り切れる自然数) するとき 和a+bがAに属さないとき、 (a∈Aの補集合またはb∈Aの補集合)と(a∈Aまたはb∈A)は真である とありました これはなぜ真なのでしょうか? ...…

解決

数学の講師仲間である議論,分母0の反例

…こんにちは。 高校の数学の講師仲間である議論になりました。 ----------- x>yならばx/y>1 が偽であることを示せ ----------- これを示すのに、 反例:x=1、y=0 というのを正解とするのか、不正...…

締切

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

Q質問する(無料)

おすすめ情報

Q&A検索履歴