「命題論理」という用語を決定するには、「文」が何であるかを明確に理解する必要があります。
したがって、この声明は文は文法的に正しいものであり、偽または真である。この概念はある意味を表現するはずです。例えば、「カナリアは鳥です」という表現は、そのような構成要素を含む：「カナリア」および「鳥」。
それが、論理の主要な、元の概念の1つがステートメントである理由です。これらの概念は、何かの声明または否定のいずれかが存在する特定の状況を記述するべきである。
この声明は、状況の現実が記述されている場合にはそれが真実とみなされます。それ自体では、「嘘」と「真実」が陳述の真実を決定します。
ステートメントの論理は、単純な複雑な表現。そのため、他の式も含まれていない簡単なステートメントは単純なものとみなされます。複雑なものには、論理的に関連する単純なステートメントから得られる式があります。
発話の古典的な論理は、控除の一般理論によって表される。これは、ステートメントの構造に依存しない単純な式の論理的接続が記述されているロジックの一部です。
結合複合体は言及しないことは不可能です2つの簡単な式を単語 "and"と組み合わせて得られる文。連合体の真実は、その構造に含まれるすべてのステートメントの信頼性によって確認されます。そのメンバーの少なくとも1つが偽である場合、連合体全体が「嘘」サインを有する。
結合自体は、そのような前提に基づいた複雑なステートメントを形成する役割を果たします。
- 任意の式（単純および複合）は、真または偽のいずれかになります。
複雑なステートメントの真実は、ステートメントの真実とステートメント内の論理的な関係に直接依存します。
2つの文を「or」という言葉はすでに乖離しています。日常生活では、この概念は2つの異なる意味の観点から見ることができます。まず、2つの式のどちらかが真かどうかにかかわらず、式の真偽を意味する非排他的な意味です。第2に、排他的意味は、式の1つが真であり、他が偽であることを示します。
命題論理の公式には特別な文字。従って、論理和において、記号Vは、文の少なくとも1つが真である場合には真であることを示し、両方の項が偽である場合には偽であることを示す。
含意を決定する際には、声明の根拠が間違った結果で真実になることはできないという主張。言い換えれば、このコンセプトは、表現の真実または虚偽の、その構成要素の意味およびそれらの接続の方法に依存することを前提としています。
この意味合いが非常に有用であるという事実にもかかわらずいくつかの目的のために、それは一般的な条件での条件付き関係の理解とあまり一致しません。したがって、発話の論理的な振る舞いの多くの重要な特徴を網羅する上で、この概念は適切な記述であることはできない。
ステートメントの論理は、このような問題を解決することを目指しています。前者の正当な理由と誤った考え方と組織化の分離として適切な結果を得るには、ある形や別の形を表す特殊記号に注意を集中させる必要があります。したがって、一見して重要でない「または」、「および」などの言葉への関心が示される。
ステートメントのロジックには、次の要素からなる独自の言語もあります。
- 初期記号 - 変数、論理定数および技術的兆候;
- 数式。
何が言われたのかをよりよく理解するために、具体的な例に進む必要があります。たとえば、接頭辞は＆記号、分離記号 - または/を使用します。
</ p>
