私の最初の CS クラスの 1 つで、「真の機能的論理」について学習します。
私の質問は英訳に関するものです。^ は AND であることに注意してください。v は (包括的) OR です。〜ではありません。-> はIFです
「RENTが支払われていることは、ビジネスを継続するための必要条件です」
家賃 -> ビジネス
すべてを採点するたびに、これは間違っていました。先生に理由を聞いたところ、「then文にnoがない場合、前件は常に最後です」とだけ言われました。
これがどのように間違っているかについて、もう少し説明が欲しいです。そして、どのように文があいまいではありません。「なかったからずっとこう」以上の何かthen。
また、補足:IFブール演算子はどこから来たのですか? 基本的に Cish コードでa==true?b:true. 使い方が非常にわかりずらいです。
編集：正解は
ビジネス -> 賃貸
家賃を払っていれば、必ずしもビジネスをしているわけではありません。賃貸 !(->) ビジネス。
ただし、事業を行う場合は家賃を支払わなければなりません。ビジネス -> 賃貸。
私はそれが書かれるべきだったと思います：
BUSINESS -> RENT
「ビジネスを続けているなら、家賃を払っていることになります。」
P -> Q
「P は Q を意味する」、「P の場合は Q」、または「P の場合は Q」と述べることができます。
彼女は正しい。a は b を意味しますが、 bはaを意味しません。あなたの言っていることは、商売が家賃を払うための必要条件であり、それが間違っています。
IFブール演算子はどこから来たのですか? 基本的に Cish コードでa==true?b:true. 使い方が非常にわかりずらいです。
この演算子は、より一般的には「含意」と呼ばれます。「どこから来た」とはどういう意味ですか?
そして、はい、意味を理解するのは難しく、あなたの間違いは完全に典型的です.
誤った前提の下では、すべてが偽物であっても説明できることに注意することで、その意味を説明できます (たとえば、0 による除算が有効であるという前提を使用すると、1 = 2 であることを数学的に証明できます)。そのため、0 -> xの値に関係なく、 は常に真ですx(つまり、含意によって結果が生成されます)。
一方、前提が正しい場合、含意は正しい結果につながります。したがって、1 -> 1真 (真の前提は真の結果を意味する) であり、1 -> 0偽 (真の前提は偽の結果を意味することはできません) です。
!RENT -> !BUSINESS
家賃を払っていないのなら、あなたはビジネスをしていません。これが「対比」です
BUSINESS -> RENT
商売をしていれば、家賃を払っています。
他の言い方 (以降a -> b === (!a || b)):
!BUSINESS || RENT
RENT || !BUSINESS
あなたがビジネスをしていないか、家賃を払っているか、またはその両方 (またはその逆) のいずれかです。
!(!RENT && BUSINESS)
あなたは家賃を払っていないこととビジネスをしていることの両方ではありません（またはその逆）。
追加：ところで、これが解像度の仕組みです。知識を接続法標準形に変換します。各節は、原子項の論理和で構成され、それぞれを否定することができます。家賃を払っていないことがわかっている場合、それは条項であり、新しい条項、つまりあなたは事業を行っていないことを推測することを意味して、解決 (つまり条件のキャンセル) することができます。
RENT || !BUSINESS
!RENT
--------
!BUSINESS
同様に、事業を行っていることがわかっている場合は、契約をキャンセルして、家賃を支払っていると結論付けることができます。
RENT || !BUSINESS
BUSINESS
--------
RENT
これが解決定理証明者の魅力です。1 つの推論規則で前方推論と後方推論の両方がカバーされます。
また、A->C および B->C の場合と A||B の場合のように、大文字と小文字の推論も適切に処理し、C を結論付けることができます。
1. !A || C
2. !B || C
3. A || B
----------
4. B || C (resolve 3 and 1)
5. C (resolve 4 and 2)
ここで重要なのは「必要」という言葉です。ここに「Xに必要」という形式の文がありYます。これが意味することは、それが真実であるためにXは真実でなければならないというYことです。日常の言葉では、これは「Y真実でなければ真実ではありえない」と考えていXます。そして、これは非常に明確に「偽の場合Xは偽である」と解釈されYます。なぜなら、X偽であるが真である場合、真でなければY違反することはできないからです。しかし、falseの場合、falseは、対偶を持っていることを象徴的に変換します。これが、「に必要」がと同等である理由です。YXXY!X => !YY => XXYY => X
次に例を示します。素数で2より大きいには、奇数である必要があります。これが意味するのは、数が素数で2より大きい場合、奇数であることが素数で2より大きいための必要条件であるため、奇数でなければならないということです。別の言い方をすれば、数が素数で2より大きい場合、それは奇数でなければなりません。逆（数が奇数の場合は素数でなければなりません）はばかげています。
Xこれは、に必要ながYと同等であることを納得させるはずですY => X。
次の形式をとるステートメントの間には、異なるが関連する関係があります。「Xは十分な条件ですY"。日常の言葉では、「真実を知ることXは真実であるための根拠でYある」、またはX => Y。
これらの2つの意味のある（今は一言です！）関係は、互いに二重です。実際、数学では、非常に重要な形式は「Xのための必要十分条件でYある」です。これは、X => Yand Y => X、またはthatを意味しX <=> Yます。とは同等でXありY、「」と言うこともあれば、「 iff X if and only if Y」と略記することもあります。XY