論理学には、大雑把に2つの手法「論理代数」と「論理主義」があると言いま
したが、まずはブールの「論理代数」をきっかけに、真理値表を使った推論を
見てゆきます。

真か偽かを表す真理値を数値の1/0に対応させ、かつ(and)や、もしくは(or)を、「×」や「＋」などの式に対応させることで、数式で表すことで論理学を数式で表そうとしたのが、イギリスの数学者「ジョージ・ブール」でした。

このようにすることで、命題を組み合わせて作った、「複合命題」の真理値を
計算のように決められるようになります。