- ベストアンサー
論理学について
- みんなの回答 （2）
- 専門家の回答
質問者が選んだベストアンサー
証明問題がうまく出来るようになるのは第一に数多く沢山の問題を解くこと。 次に裏技なんだけど、仮定→結論の順に証明を書くのではなく、逆に結論→仮定の順に証明を書いてみること。つまり、証明というのは普通は一般的な命題から特殊な命題を導き出すことだから、逆に考えて特殊から一般を出す方が易しいのさ。 論理というのは筋が通っているかどうかだから、どっちから書こうと証明として筋が通っていればＯＫなんだ。実はこれは昔大学で論理学の先生が講義の時に使っていた方法で、その場で証明を書き出して、証明が行き詰まると下から（結論から）書いて結局繋げちゃうというワザを使っていたんだね。
その他の回答 (1)
- otu_otu
- ベストアンサー率31% (17/54)
記号論理学ですか！？ 私も大学１年のときに取っていました。 そうですね、勉強のポイントは各推論規則を使った簡単な証明を目をつむって行えるようになることです。 慣れてくれば、少々難しそうな証明問題に対しても、証明の流れが自然に見えてくるようになります。 がんばってください。
お礼
アドバイスありがとうございます。いつも、問題が解けなくて苦労してるので、このアドバイスを参考にがんばってみます。
関連するQ&A
- 論理学……「論理の双対性」について
お世話になります。 掲題の件、論理回路の項に軽く記載されており、気になったので 調べてみたのですが、よく解りませんでした。 Wikipedia ＞＞＞＞＞ 命題を論理式として表したとき、論理和 ∨ と論理積 ∧ とをすべて入れ替え、全称記号 ∀ と存在記号 ∃ とをすべて入れ替えたものをもとの論理式の双対といい、入れ替えて得られた命題をもとの命題の双対命題と呼ぶ。双対の双対はきっちり元に戻る。 元の論理式が証明可能ならばその双対の否定が証明可能であり、ある論理式の否定が証明可能ならば、その論理式の双対が証明可能になる。 ＜＜＜＜＜ http://goo.gl/vmSxI ある論理式の構成要素すべてについて反対の記号へ置き換えたものを 双対と呼び、更に当該双対命題について、反対の記号へ置き換えると 元の式に戻る、という意味かと思うのですが（間違っていたらご指摘ください）、 これ自体に何の意味があるのでしょうか？ 書籍では記号が多用されており、イメージがつかみにくかったので、 少しレベルを下げて、ご教示いただけると助かります。 宜しくお願いします。
- ベストアンサー
- 哲学・倫理・宗教学
- 一階命題論理の証明問題について
一階命題論理の証明問題なのですが、回答をお願いします。 １．任意の論理式は、命題記号と∧、∨、￢のみを用いて表すことができることを示せ。 ２．任意の論理式は、命題記号と∨、￢のみを用いて表すことができることを示せ。 ３．任意の論理式は、命題記号と￢、→のみを用いて表すことができることを示せ。 ４．任意の論理式は、命題記号と→、⊥のみを用いて表すことができることを示せ。 ５．任意の論理式は、命題記号と∧、∨のみを用いて表すことはできないことを示せ。 よろしくお願いいたします。
- 締切済み
- 情報処理技術者
- 記号論理の証明について
カテゴリ違いでしたら申し訳ありません。 記号論理に関しての証明について伺いたいのですが BIRDとANIMALを述語記号とし、ｃを定数記号とすると ∃x ANIMAL(x)がBIRD(c)と∀x(BIRD(x)→ANIMAL(x))の論理的帰結であると伺ったのですがこれを証明するならばどうすれば良いのでしょう？ BIRD(c) ∀x(BIRD(x)→ANIMAL(x)) ∃x ANIMAL(x) BIRDを鳥である、ANIMALを動物であるとするならば ｃは鳥である。 任意のｘが鳥ならばｘは動物である。 よって、あるｘは動物である。 と、日本語表記だと論理的に帰結しているような印象を私個人は受けているのですが、 論理的帰結だと示すにはどうしていいものかと行き詰っています・・・ このような問題の証明方法を教えていただければ幸いです、よろしくお願いします。
- 締切済み
- 数学・算数
- 論理数理学（命題論理・述語論理）のテキストやＨＰを探しています!
こんにちは。 私は経済学部の大学四年生です。 就職活動が長引き、前期末試験はほとんど無出席で挑む今日この頃ですが、どの先生も情状酌量の余地がなく（涙）、必死こいてテストで点数をとるしかないようなので、特に難しいこの科目は、ネットで助けを仰ぐことにしました。 探しているのは、以下のものをカバーしている練習問題つきのテキストです。 先生が自分でかき集めた講義内容なので、内容が飛び飛びです。 具体的には、最後に載せる問題が解ければ（証明できれば）、試験の問題はないそうです。 （論理的思考法） 論理とは何か 命題論理の言語 連言の推論規則 含意の推論規則 選言の推論規則 否定の推論規則 述語論理の言語 全称の推論規則 存在の推論規則 証明の練習 で、問題は「次のようなNK証明図を書きなさい」 ∃ｘ（Ｆｘ∧Ｇｘ）├∃ｙＧｙ などです。割り算のようなものが３～５段ほど縦に並んだ数式になります。 ネットで色々探しましたが、飛び飛びのものや深すぎるものが多く、これに必要なものだけを効率よく集めたものになかなか出会えません。 その上、分野があいまいで、図書館でもなかなかそれらしい本と出合うことが出来ません。 よろしければ、アドバイスをいただきたく存じます。 よろしくお願いいたします。
- ベストアンサー
- 数学・算数
- 【論理学】シェファーの棒について
論理学の書籍（「論理学」・・・野矢茂樹・・・東京大学出版会）に紹介 されていた、"シェファーの棒"と呼ばれる記号の意味が理解できません。 曰く、当該論理記号の表記は"|"の一種類のみで、命題論理を 表現できるらしいのですが、上述の通り、恥ずかしながら記号の意味が わからない状況です。 同書には、丁寧に真理値表も掲載されていたのですが、記号を日本語へ 翻訳できないため、一般的に使われる（？）論理記号である、∧、∨、￢、⊃ への変換ができません。練習問題として掲載はされていましたが、解答を 見ても疑問は解消されておりません。 （参考・・・真理値表） P Q P|Q 1 1 0 1 0 1 0 1 1 0 0 1 稚拙な質問で大変恐縮ですが、お知恵の拝借を賜りたく存じます。 宜しくお願い致します。
- ベストアンサー
- 哲学・倫理・宗教学
お礼
裏技ありがとうございます。もうすぐテストなので、いきずまったら、使ってみます。問題もできるだけ沢山解いてみます。