問題タブ [propositional-calculus]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
prolog - Prolog の Quine アルゴリズムによる評価数のカウント
ついでに私の論理の先生は、Quines アルゴリズム は評価のカウントにも使用できると言いました。残念ながら、これが Prolog でどのように行われるかについて理解できませんか?
プログラムは、たとえば
、Quines アルゴリズムの回答からの構文を使用して、次のようになります。
論理和 X+Y の真理値表には、
真と評価される 3 つの行があるため、次のようになります。
prolog - Prolog の片面統合を使用したクワインのアルゴリズム
SWI-Prolog の新しいリリース 8.3.19 では、新しい Picat スタイル ルール内に片面統合が導入されています。これは、どの Prolog システムにも歓迎される追加機能です。Quine アルゴリズムを書き換えることができるかどうか疑問に思っていました
Quine のアルゴリズムの Prolog 実装
https://\stackoverflow.com/q/63505466/502187
Picat スタイルのルールと、これが機能するかどうか。はいの場合、および Quine アルゴリズムの記述がより簡単になる場合、SWI-Prolog はおそらくこの追加によってコミュニティに大きな恩恵をもたらしました。
この挑戦に挑戦する人はいますか？SWI-Prolog 8.3.19 はすでに devel から入手できます。
math - 命題論理、論理的同等物
a) 次のステートメント形式が論理的に同等かどうかを判断します: p -> (q -> r) および (p -> q) -> r
b) パート (a) で確立された論理的同等性を使用して、次の文を 2 つの異なる方法で書き直してください。(n は固定整数を表すと仮定します。) n が素数の場合、n は奇数または n は 2 です。
どなたかBで助けていただけないでしょうか？本当に紛らわしい
coq - Coq: 2 つの同一のサブゴールを持つ悪循環
例が複雑すぎてすみません。私は持っている
やっている
与える
私はそれを行いdestruct H4.、これは
私はまだ理解していません:なぜ2つの同一の目標?? 私はしleft.、取得します
そしてassumption.与える
それからやって
再び 2 つの同一の目標を紹介し、
これは、以前の状態と同じですが、現在 2 つの同一の施設があることを除きy → x ∨ zます。
ハマった。明らかに私は何か間違ったことをしていますが、何ですか？