問題タブ [first-order-logic]

次の言語を考えると、これら2つのステートメントに違いはありますか??

1. ベンは犬が好きで、ジョンかメアリーは犬が好きです。
2. ベンは犬が好きで、ジョンまたはメアリーは犬が好きです。

使用:

B: ベンは犬が好きです。
J: ジョンは犬が好きです。
M: メアリーは犬が好きです。

両方にB＆（JVM）があります...

私は私のシンボルとして & () V ~ に制限されています

私は現在、Fitch Format の一次論理証明を勉強しています。私の講師は、Jon Barwiseの Language, Proof and Logicを忠実にフォローしています。

私はいくつかの証明をしようとしていますが、これらの証明を行う方法を理解するのに苦労しています。Language Proof and Logic が提供するものを既に読んだので、正式な証明に Fitch 形式を使用している書籍やリソースが他にあるかどうか知りたいです。

さらに、演習問題を解いておけば、(!) 大いに役立ちます。

ありがとう

Fitch 形式 ( Language, Proof and Logicで使用) を使用して、特定の一連の前提と目標を設定し、問題を解決するために必要な手順の完全なリストを表示できるソフトウェアはありますか?

Haskellで命題論理を表現するために次のデータ構造を使用しています。

この構造に関するコメントは大歓迎です。

ただし、ここで、アルゴリズムを拡張してFOL（述語論理）を処理したいと思います。HaskellでFOLを表現する良い方法は何でしょうか？

上記の拡張版であるバージョンと、より古典的な文脈自由文法に基づくバージョンを見てきました。これに関する文献はありますか、それは推奨される可能性がありますか？

「最小の半径を持つセット内の要素の値が0である」ことを一階述語論理で表現したい場合、次のようになりますか？

∀e1∈S。∀e2∈S 。半径_e1≤半径e2⇒   値_{e1 = 0 ？}

変数は正しく定量化されていますか？

ありがとう

これらの述語のみを使用して.....

私が書いたものが正しいか間違っているかわからない

また、この行を変換する方法もわかりません...

助けていただければ幸いです...ありがとう...

でsatソルバーを見つけました

http://code.google.com/p/aima-java/

次のコードを試して、dpllsolverを使用して式を解決しました

入力は

CNFトランスはそれをに変換します

ロジックの他の部分は考慮せず、最初の用語のみを考慮します。正しく機能させる方法は？

他のsatソルバーがそれを行うことができるかどうか私に提案してください

次の文を FOL (First Order Logic) で表現する方法 「肉しか食べない動物がいる」
次の表現は本当ですか?
Ǝx Eats(x, 肉) x は動物

私はフィッチで何かを証明しようとしています、そして私は一歩で立ち往生しています、私は持っています：

そして私はそれから導き出したいです2. Cube(a)。

私はAna Con2.で使用でき、前提として1.を選択できるので、それが可能であることを知っています。それは有効であると言っています。
使用せずにこれを行う方法を教えてくれる人はいますAna Conか？

受けるべきではないクラスにサインアップしました。私の教授が一次論理を説明していたときに使用された表記法をまったく理解していないので、今は少しうんざりしています。これらのことをすべて再学習する方法について、本の提案が必要です。例：「数量詞」とは何かについて混乱していました（グーグルで調べた後、わかりました）。たくさんの例がある良い本はありますか? ありがとう