本当にこれが"正しい"と明白な?

StackOverflow https://stackoverflow.com/questions/1792062

  •  22-09-2019
  •  | 
  •  

質問

一つの私の頭のCSの授業をしながら"真実の機能論理"

私の質問には差が英語の翻訳提案があります。ご注意^には、vを含む）または;～いません。->である場合

でもさせていただきました:"賃金支払いの必要条件であるため事業"

RENT -> BUSINESS

誰しも傾斜もこれは間違っています。今回出張で利用しましたが先生はなぜになっていることもこ"がない場合 then の文が、その先行詞はいつも最後"

いて説明をして、どこが間違っている。どのように文章ではない曖昧なものです。以上のもの"であ then でいます。"

また、側面:がかったの IF booleanオペレーターから来たのでしょうか？私なんてないようなオペレーターは基本的に相当するCishコード a==true?b:true.私は非常に硬い時間を把握します。

編集：正しい答えた 

BUSINESS -> RENT
役に立ちましたか？

解決

あなたが家賃を払う場合は、

は、あなたがビジネスである必要はありません。家賃！（ - >）。ビジネス

あなたがビジネスにしている場合は、

しかし、あなたは家賃を払う必要があります。ビジネス - 。>賃貸

他のヒント

私はそれが書かれているはずだと思います：

BUSINESS -> RENT

「あなたのビジネスにしている滞在した場合、その後、あなたが家賃を払っている。」

P -> Q

P場合であればP " "Pは、Qの意味"、そしてQ"、または "Q述べることができる。"

彼女についてはその通りである。ではクラシック a 意味 b が b を意味するものではありません a.どうす事業の必要条件の家賃の支払いは間違っています。

  

どこIFブール演算子はから来たのか？私はa==true?b:trueにCISHコードで基本的に同等である、そのようなオペレータのことを聞いたことがありません。私はそれの使用状況を把握し、非常に苦労しています。

この演算子は、より一般的に「意味合い」と呼ばれています。あなたは「ここで、[それは]から来たの」とはどういう意味ですか？

そして、はい、含意のの把握が困難とあなたの間違いです、完全に典型的である。

あなたは偽の施設、の下にあるすべてのものはがさえ、説明することができる偽の我々は0で前提その部門を使用している場合（たとえば、私たちは数学的に1 = 2ということを証明できることに注目することによって意味を説明できます）合法です。そのため、0 -> xは常に真である、全くxの値は重要ではない（すなわち、結果を生成することができる含意）。

一方で、あなたの前提が正しければ、含意は正しい結果につながる、これ1 -> 1は（真の前提が真の結果を意味する）真である、と1 -> 0はfalseです（本当の前提が偽の結果を暗示することはできません）。

!RENT -> !BUSINESS
あなたが家賃を払っていない場合は、

、あなたはビジネスではありません。これは、

の "contrapositive" であります 
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がtrueにすることはできません」と考えます。そして、これはXが偽であったが、Yが本当ならば、我々はXが真でなければYがtrueにすることはできません違反することになるので、「Yがfalseの場合は、その後Xがfalse」に非常に明確に変換します。 Xがfalseその後、Yある場合でも、contrapositive !X => !Yを持ってY => Xに象徴偽並進です。これは、「XがYのために必要である」Y => Xと等価である理由です。

はここでは一例である。奇素数であることが二つよりも大きくすることが必要です。これが意味する数が素数と2よりも大きい場合には奇数であることはプライムと2よりも大きいの必要条件であるので、それは奇数でなければならないということです。もう一つの方法は、数が素数と2よりも大きい場合、それは奇数でなければならない、と述べました。逆は（数が奇数である場合、それは素数でなければならない）不合理である。

このはXはYと同等であるためY => Xが必要であることを納得させる必要があります。

次の形式を取り文の間で異なるが関連の関係があります：「XはY"ための十分条件である、日常言語では、と言うでしょう。 『Xが真で知ることが』真実であることをYの根拠、またはX => Yですます。

これらの2 implicational（それは今言葉だ！）の関係は、お互いの双対です。実際には、数学では、非常に重要な形態は「XがYための必要十分条件である。」ですこの手段X => YとY => X、またはそのX <=> Yいます。私たちは、そのXとYが等価であると言う、と私たちは時々、「X if and only if Yを」と言うと、時々省略「X IFF Y。」

ライセンス： CC-BY-SA と 帰属
所属していません StackOverflow
scroll top