「ステートメントロジック」という用語を定義するには、「ステートメント」とは何かを明確に理解する必要があります。
つまり、ステートメントは文法的に正しく、偽または真の文。この概念は、特定の意味を表現する必要があります。たとえば、「カナリアは鳥です」という表現には、「カナリア」と「鳥」という構成要素が含まれます。
そのため、ステートメントはロジックの重要な初期概念の1つです。これらの概念は、何かの陳述または否定のいずれかが存在する特定の状況を説明する必要があります。
記述時に状況の現実との対応があれば、その記述は真実であると見なされます。 「嘘」と「真実」はそれ自体で、陳述の真実を決定します。
ステートメントのロジックは、単純なものと複雑な表現。したがって、ステートメントに他の式が含まれていない場合、そのステートメントは単純であると見なされます。また、複雑な式には、論理的に関連する単純なステートメントから派生した式が含まれます。
提案の古典的な論理は控除の一般理論によって表されます。これはまさに、ステートメントの構造に依存しない単純な式の論理接続を記述するロジックの一部です。
結合は言うまでもありません-複雑「and」という単語を使用して2つの単純な式を組み合わせて得られるステートメント。結合の真実は、その構造に含まれるすべてのステートメントの信頼性によって確認されます。そのメンバーの少なくとも1つが偽である場合、結合全体に「偽」の符号があります。
結合自体は、次の仮定に基づく複雑なステートメントを形成するのに役立ちます。
-任意の式（単純および複雑の両方）は、trueまたはfalseのいずれかになります。
-複雑なステートメントの真実は、それに含まれるステートメントの真実とその論理的なつながりに直接依存します。
を使用して2つのステートメントを接続する場合「または」という言葉はすでに分離されています。日常生活では、この概念は2つの異なる意味の観点から見ることができます。まず、これは非排他的な意味であり、2つのうちの一方が真であるか、両方が真であるかに関係なく、式の真偽を意味します。第二に、排他的な意味は、式の1つが真で、もう1つが偽であることを示します。
提案論理式には特別なものが含まれていますシンボル。したがって、分離では、記号Vは、ステートメントの少なくとも1つが真の場合は式が真であり、両方の項が偽の場合は偽であることを示します。
含意を定義するとき、あります結果が偽の場合、ステートメントの理由は真にはなり得ないというステートメント。言い換えれば、この概念は、表現の真偽がその構成要素の意味とそれらの接続方法に依存していることを前提としています。
含意は十分に有用ですが目的によっては、一般的な条件付き関係の理解とはあまり一致しません。したがって、ステートメントの論理動作の多くの重要な機能をカバーする場合、この概念は適切な説明にはなりません。
ステートメントのロジックは、そのような解決を目的としています前者の推論と体系化の正しいスキームと誤ったスキームの分離としての中心的なタスク。正しい結果を得るには、ある形状または別の形状を表すことができる特別な記号に焦点を当てる必要があります。したがって、「または」、「および」などの一見取るに足らない単語への関心が示されます。
ステートメントのロジックには、次の要素で構成される独自の言語もあります。
-ソースシンボル-変数、論理定数、および技術的記号。
-式。
言われていることをよりよく理解するために、特定の例に移る必要があります。たとえば、結合は＆文字を使用し、分離は/またはº/を使用します。
