プログラミング言語で真偽をたしかめる論理演算と、述語論理の関係を深めるために本書を読みました。
命題論理というのが、AND(論理積 conjunction)、OR(論理和 disjunction),NOT(否定, negation)という論理演算子と、「ならば」という含意(implecation)と双方向の含意である同値(equivalent)とがあることを知りました。
述語論理は、すべてのという全称、あるという存在を持つものであることがわかりました。
表記上、
1 含意、同値
2 全称、存在
3 論理和、論理積、否定
という優先順位を持たせることがあるそうです。
無料のKindleアプリをダウンロードして、スマートフォン、タブレット、またはコンピューターで今すぐKindle本を読むことができます。Kindleデバイスは必要ありません。
ウェブ版Kindleなら、お使いのブラウザですぐにお読みいただけます。
携帯電話のカメラを使用する - 以下のコードをスキャンし、Kindleアプリをダウンロードしてください。
知識工学講座 4 単行本 – 1988/5/1
述語論理と論理プログラミング
- 本の長さ217ページ
- 言語日本語
- 出版社オーム社
- 発売日1988/5/1
- ISBN-104274073866
- ISBN-13978-4274073861
登録情報
- 出版社 : オーム社 (1988/5/1)
- 発売日 : 1988/5/1
- 言語 : 日本語
- 単行本 : 217ページ
- ISBN-10 : 4274073866
- ISBN-13 : 978-4274073861
- Amazon 売れ筋ランキング: - 1,126,005位本 (本の売れ筋ランキングを見る)
- カスタマーレビュー:
著者について
著者をフォローして、新作のアップデートや改善されたおすすめを入手してください。
著者の本をもっと発見したり、よく似た著者を見つけたり、著者のブログを読んだりしましょう
著者の本をもっと発見したり、よく似た著者を見つけたり、著者のブログを読んだりしましょう
カスタマーレビュー
星5つ中5つ
5つのうち5つ
全体的な星の数と星別のパーセンテージの内訳を計算するにあたり、単純平均は使用されていません。当システムでは、レビューがどの程度新しいか、レビュー担当者がAmazonで購入したかどうかなど、特定の要素をより重視しています。 詳細はこちら
1グローバルレーティング
虚偽のレビューは一切容認しません
私たちの目標は、すべてのレビューを信頼性の高い、有益なものにすることです。だからこそ、私たちはテクノロジーと人間の調査員の両方を活用して、お客様が偽のレビューを見る前にブロックしています。 詳細はこちら
コミュニティガイドラインに違反するAmazonアカウントはブロックされます。また、レビューを購入した出品者をブロックし、そのようなレビューを投稿した当事者に対して法的措置を取ります。 報告方法について学ぶ