恒真式 の検索結果 (97件 1〜 10 件を表示)

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

…●(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 ...…

解決

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

Q質問する(無料)

おすすめ情報

Q&A検索履歴

カテゴリ