問題タブ [implication]

P の読み方は、古典論理で Q を意味しますか?

例 ：

これは、古典的な論理規則を使用する様相論理です。
KaX : a は X が真であることを知っています。

英語で含意を読む方法に興味がありますか? もしそうなら、そうでなければ？

編集 :モーダル ロジックでは、Ka はボックスになります。これは、必然性ルール、ルール N、つまりボックス P を象徴するボックス形状の記号です。ワールド デルタに P がある場合、アクセス可能なすべてのワールドにも P があるはずです。

ダイヤモンド P もあり、ダイヤモンド P が持つ世界からアクセスできる P を持つ世界が 1 つ存在する可能性を意味します。

私のナレッジベースには次のステートメントがありますが、変数が 1 つしかないという前提があります (3 行目を参照)。このための真理値表を作成しようとしていますが、暗黙の条件を決定する条件が 1 つしかないため、3 番目の前提が混乱します。

たとえば、私の知識によると：

しかし、ここで 3 番目のステートメントの真理値表を作成するにはどうすればよいでしょうか。「u」を決定する変数は 1 つだけです。

ありがとうございました ：）

私は現在、論理的等価性の質問に答えていますが、おそらく「知っておくべきこと」であるため、法律のリストにないため、ある時点で使用したルールの確認をお願いします.

私の作業の一部は、(NOT(p) OR NOT(q)) OR r == (NOT(p) OR r) OR (NOT(q) OR r)
後で単純化することです(p implies r) OR (q implies r)

真理値表の作成と LogicWorks による作成 両者は論理的に同等だと思いますが、最初の部分で使用した法則は何ですか? 連想？

編集: andは論理的に同等である可能性がある
ことを理解していますが、ステップアウトを逃した可能性がありますか?LHSRHS

論理的な含意を持つステートメントを python で書きたいと思います。何かのようなもの：

もちろん、私は使用できることを知っています：

しかし、Pythonでこれに対する論理演算子はありますか?

|->最近、通常の含意演算子 ( ) とimpliesSystemVerilogの演算子の違いは何かという疑問が持ち上がりました。残念ながら、私はまだ明確な答えを見つけることができませんでした。ただし、次の情報を収集しました。

SystemVerilog LRM 1800-2012から:

• § 16.12.7 Implies および iff プロパティ:

  property_expr1 implies property_expr2
  この形式のプロパティは、property_expr1 が false に評価されるか、property_expr2 が true に評価される場合にのみ、true に評価されます。

• § F.3.4.3.2派生ブール演算子:

  p1 implies p2 ≡ (not p1 or p2)

• § F.3.4.3.4派生条件演算子:

  (if(b) P) ≡ (b |-> P)

ただし、LRM は、実際の違いが何であるかを実際には指摘していません。誤った前提条件 (成功と空虚な成功) の場合の評価は異なると思いますが、この仮定のソースまたは証拠を見つけることができませんでした。impliesさらに、この演算子は、OneSpin のような正式な検証ツールと組み合わせて使用​​することが非常に一般的であることを知っています。

誰か助けてくれませんか？

PS: SystemVerilog Assertions Handbook, 3rd Editionという本に、この質問に対する回答があるようです。しかし、この質問に対する答えを得るためだけに、155 ドルは私には少し多すぎます :)

u -> v含意グラフは、各ノードに true または false のいずれかが割り当てられ、任意のエッジがそれを意味する有向グラフですif u is true then v is true。

O(n^2)一般的な含意グラフで割り当てを見つける簡単なアルゴリズムと、いくつかの特殊なケース ( 2-SAT問題O(n)から生じる含意グラフなど) のアルゴリズムを知っています。

O(n)それで、含意グラフの割り当てを見つけるアルゴリズムがあるかどうか疑問に思っていましたか？