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

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

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

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

**■命題の結合 [#qc6b4b50]
命題変数は、&mathjax{\lnot , \land , \lor , \Rightarrow }; などと結合して、別の命題を作ることができる。

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

**■論理式の省略方法 [#v46dfc21]
一番外側の括弧は省略可能
結合の優先度を&mathjax{ \lnot > \land > \lor > \Rightarrow }; とし、意味を壊さない程度に括弧を省略できる。