命題論理演算

このセクションでは、 命題論理で使用される演算に 焦点を当てます。ただし、この目的を達成するには、ロジックとは何かを理解する必要があります。

このテーマに関する文献を調査すると、「ロジック」という言葉には多くの定義があることが推測できます。すべての定義において、思考法則の研究または同様の用語が参照されています。最も多様な定義を表すために、COPI (1977、p 15) が「論理とは推論の科学である」と定義していることに注意してください。言い換えれば、推論が独自の意味ネットワークの形成としてどのように構造化され、基づいているかということです。

この意味論的ネットワークの形成と、その最も多様な表現形式には、話し言葉を事前に体系化された記号に変換する一連の記号が必要です。

この変換が発生するには、話し言葉で表現される推論を表現するために、いくつかの記号的な規則が必要です。これらの規則の一部は、いわゆる命題論理演算です。

命題に基づいているため、命題論理と呼ばれます。命題論理は、単純な宣言的命題、つまり人間の知識を伝達するための基本要素である命題を研究することを目的としています。

命題は、「完全な意味で思考を表現するすべての単語または記号のセット」として理解できます (FILHO、2002、p. 11)。命題の組み合わせにより、真または偽の結果が返されます。

前述の操作を以下に分析します。

1 接続詞 ( ˄ )

両方の前提が真である場合、それは真の論理的結論への接続詞と呼ばれます。他の場合には、偽の結果が返されます。一般に、文字 p と q は命題と呼ばれます。したがって、p と q が命題の場合、p ^ q は 2 つの命題間の論理積を表します。したがって、次のような結果が考えられます。

表 1 – 真理値表 – 結合

p	q	p^q
V	V	V
V	F	F
F	V	F
F	F	F

出典: FILHO、2002、p. 12

接続詞の例:

「マリアは店に行き、白と黒のスカートが見たいと言った。」この例では、「黒と白」という用語の e が接続的な意味を持っている場合、マリアは店に到着したとき、黒と白の色がビーズが付いていたり、他の方法でアレンジされているスカートを見たいと思っていたと推測できます。。

2 論理和 (˅)

2 つの命題 p と q の論理和は、2 つの前提条件の少なくとも 1 つが真である場合に真の論理値を返します。両方が false の場合、論理和に割り当てられる論理値は false になります。

その結果、次の真理表が得られます。
表 2 – 真理値表 – 論理和

p	q	なぜなら
V	V	V
V	F	V
F	V	V
F	F	F

出典: FILHO、2002、p. 13

論理和の例:

「ホアキンはポルトガル人かブラジル人だ」この表現は 2 つの方法で理解できます。つまり、その意味が排他的である場合、ホアキンはポルトガル人でもブラジル人でもあり得るが、両方の国籍を持たないことを意味します。それ以外の場合、包括的な意味で、ホアキンはポルトガル人、ブラジル人、または両方の国籍を持つ可能性があります。