- 締切済み
人工知能(AI)の課題_命題論理
- みんなの回答 (1)
- 専門家の回答
みんなの回答
- Tacosan
- ベストアンサー率23% (3656/15482)
どこがどうわからないんですか?
関連するQ&A
- 至急!論理学の問題で困ってます!
論理学の問題で困っています。 以下の推論の記号化を推論規則や置換規則を用いて妥当性の形式的証明を行いなさい。尚、構成的ディレンマを用いずに証明しなさい。 とあります。どなたか証明方法がわかるかたがいらっしゃいましたら、解答お願いします。 1A⊃(B・C) 2D⊃(B・E) ∴(A∨D)⊃[(B・C)∨(B・E)]
- 締切済み
- 恋愛相談
- 【命題「P→Q」における論理の相対性について 】
命題「P→Q」を否定、論理和、論理積の記号で 表記した場合、 (¬P)∨Q・・・(1) ¬(P∧(¬Q))・・・(2) となることが書籍に記載されておりました。 (「プログラマの数学」(ソフトバンククリエイティブ)に(1) 「論理と集合のはなし」(日科技連)に(2) がそれぞれ掲載されていました。) ベン図や真理値表も併せて記されていたため、 「P→Q」が上記、2つの式で表記できることまでは 理解できました。 ここで、(1)から(2)、(2)から(1)を導出する場合に、 どのような式変形をすれば (¬P)∨Q ≡ ¬(P∧(¬Q)) を証明できるのでしょうか? ド・モルガンの法則を導出する際に使う 「論理の相対性」が大いに関係していると (むしろ、「論理の相対性」そのもの?) 勘繰っているのですが、確証できません。 お知恵の拝借を頂けませんでしょうか? よろしくお願いします。
- ベストアンサー
- 数学・算数
- ゲーデルの証明不能命題
不完全性定理(形式的体系においてその公理と推論規則を使って証明も否定もできない論理式Aが存在する。)にいう論理式Aには例えばどんなものがあるのでしょうか? いまだ解かれていない数学上の難問がありますが、これらが論理式Aであるかどうかは、結局のところ証明できた時点でしか判定できないのでしょうか。
- ベストアンサー
- 数学・算数
- 数学でいう「証明」と論理学でいう「証明」は異なるもの?
数学で使われる「証明」という言葉と論理学で使われる「証明」という言葉は意味が異なるものであると思うのですが,間違いでしょうか? 公理系で挙げられる代表的な恒真式と推論規則に基づいて,別の恒真式を導くことが論理学でいう「証明」ですよね? そして論理学的な「証明」によって得られるものは恒真式(定理)だと思います.恒真式とは情報の価値としてはゼロ(自明)です. これに対して,数学で「証明」されるものは恒真式ではないですよね?数学における「証明」とは論理学における「演繹」に相当すると思うのですが,この考えも間違いでしょうか? ご教授お願いします.
- 締切済み
- 哲学・倫理・宗教学
- 数学でいう「証明」と論理学でいう「証明」は異なるものでしょうか?
数学で使われる「証明」という言葉と論理学で使われる「証明」という言葉は意味が異なるものであると思うのですが,間違いでしょうか? 公理系で挙げられる代表的な恒真式と推論規則に基づいて,別の恒真式を導くことが論理学でいう「証明」ですよね? そして論理学的な「証明」によって得られるものは恒真式(定理)だと思います.恒真式とは情報の価値としてはゼロ(自明)です. これに対して,数学で「証明」されるものは恒真式ではないですよね?数学における「証明」とは論理学における「演繹」に相当すると思うのですが,この考えも間違いでしょうか? ご教授お願いします.
- 締切済み
- 数学・算数
- 【論理学】同値式導入規則について
論理学を独学し始めた者です(「演繹定理」についても質問させて頂いております)。 テキストに記載されていた「同値式導入規則」について、具体例として 記載されていた内容が理解できません。 (使用テキスト:論理学入門~三浦俊彦 日本放送出版協会) まず、テキストの記載には、同規則については下記のようにありました。 主演算子が≡であるトートロジーの左辺と右辺は、任意の命題の中で 互いに置換可能である。A≡Bがトートロジーであるとき、真理関数的命題Cの 中に出てくるAをBで置き換えた命題をDとすると、CからDを推論してよい。 と書かれ、具体例として次のように記載されていました。 ¬(P∨Q)∧(P⊃¬R)から、「ド・モルガンの法則」を用いて、 (¬P∧¬Q)∧(P⊃¬R)を推論してよく、 さらに対偶律により、(¬P∧¬Q)∧(¬¬R⊃¬P)を推論してよく、 さらに、二重否定式により、(¬P∧¬Q)∧(R¬P)を推論してよい。 理解できない箇所は、同値式導入規則の定義で言われている 命題Cや、その中に出てくるAやBといった要素、更に命題Dが何を 指示しているのかが、上記の具体例から読み取れません。 ¬(P∨Q)∧(P⊃¬R)が、「ド・モルガンの法則」により、 (¬P∧¬Q)∧(P⊃¬R) に等しく、また、対偶律により、 (¬P∧¬Q)∧(¬¬R⊃¬P) に等しく、さらに二重否定式により、 (¬P∧¬Q)∧(R¬P) と等しいことは理解できるのですが、テキストの 文言から、指示語の対象内容が理解できません。 大変お恥ずかしい限りですが、お知恵の拝借をお願いいたします。
- ベストアンサー
- 哲学・倫理・宗教学
- 論理回路について
学校の課題で、このような問題が出ています。 3ビット A2A1A0 の2の補数 C2C1C0 を求める論理回路を、真理値表から論理式を書く方法で求めなさい。但し論理式を書く段階で規則性より式を単純化してもよい(このとき説明を必ず付けること)。 この問題の具体的な考え方を教えてください
- 締切済み
- その他([技術者向] コンピューター)
- 論理学とは?論理とは?
29歳勤務医です。 基本的な推論の体力や根気はあるので、ちゃんと読みますからできるだけ詳しく教えて下さい。 1。論理学の目標は何でしょうか? ~~学というのは例えば 医学であれば、ヒトの生物学的な知識、叉その人体への応用とか 数学であれば数や図形に関して正しい規則の発見と証明とか。 こんな様に実際的な目標や手段がはっきり分かれば良いのですが、論理学って一体何を目標として、何を手段としているのでしょうか? 2。また、他の学問が論理的なのは良いのです。論理的とは論理学において正しいということですよね。論理学は論理的に話をする前に「論理」の正しさはどういうように扱っているのでしょうか?論理とは何なのでしょうか。 直感的に正しいものが論理なのですか?論理は受け入れるしかないのでしょうか? 論理的である事に基礎をおいた学問はみんな直感的にしか正しさは示されていないのでしょうか? 数学で言う定義や公理のようなものは論理学には存在するのでしょうか?もしあるのなら知りたいです。 三段論法とかは証明できるのでしょうか。 自分で証明しようとしても当たり前すぎて出来ません。 3。教えてgooの物理の板で質問して仕入れた知識なのですが、現代物理学の最先端では同一の仮定から同一の結論が導き出せない事も有るかも知れないそうです。(具体的には全く同じ初期条件で宇宙を仮定しても時間と共に違う結果になる?そうなのです)そういう最新の科学の進歩によって古典的な論理学が退却を余儀無くされているのはホントですか? 本屋さんの論理学のコーナーの本は多くが、推論のトレーニングみたいな事をやっていて、このもやもやした気分には全然答えてくれません! 参考文献も挙げて頂ければと思います。 宜しくお願いします。
- ベストアンサー
- 哲学・倫理・宗教学