論理式 のバックアップ(No.1)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• 論理式 へ行く。
  • 1 (2017-09-18 (月) 03:18:03)

■命題 proposition

数学における命題とは、真(True)または偽(False)、が確定している文のことを言う。
つまり真理値を返す文のことを言う。
ただし、未解明の命題に関しても、数学的な命題である限りは真・偽が決まっており、それをまだ人類が発見してないだけである。

数字を文字式に変えられるように、命題もまた、記号を与えることができ
る。

■命題変数

それ以上分解できない命題を表す記号。 多くの場合、pやqなどの小文字を使う。
原子論理式（素論理式）atomic formulaとも言う（が、分野によって多少異なるらしい。）

■命題の結合

命題変数は、\( \lnot , \land , \lor , \Rightarrow \) などと結合して、別の命題を作ることができる。

■論理式

論理式（logical formula）は命題を表す式。
まず、命題変数は論理式（の一種）である。
\( A,B \)が論理式なら、\( (\lnot A),(A \land B),(A \lor B),(A \Rightarrow B) \)も論理式。
※再帰的な定義\\

■論理式の省略方法

一番外側の括弧は省略可能
結合の優先度を\( \lnot > \land > \lor > \Rightarrow \) とし、意味を壊さない程度に括弧を省略できる。