論理式 の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• 論理式 へ行く。

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

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

*命題定数・変数 [#d7d02009]
**■命題定数（真理値） [#k310d8a8]
真と偽のこと。
真の記号は &mathjax{\top};
偽の記号は &mathjax{\bot};
真の記号は &mathjax{T,1,\top};など。
偽の記号は &mathjax{F,0,\bot};など。
**■命題変数 [#p1fe2c80]
それ以上分解できない命題を表す記号。 多くの場合、pやqなどの小文字を使う。
原子論理式（素論理式）atomic formulaとも言う（が、分野によって多少異なるらしい。）
*命題演算子 [#qc6b4b50]
命題変数は、&mathjax{\lnot , \land , \lor , \Rightarrow }; などと結合して、別の命題を作ることができる。

**■否定&mathjax{\lnot}; [#me31dd3f]


**■論理積&mathjax{\land}; [#ib7e25b6]


**■論理和&mathjax{\lor}; [#i3142134]


**■含意&mathjax{\Rightarrow}; [#s2ac3af7]

**■同値&mathjax{\equiv,\Leftrightarrow}; [#s1a47fc3]




*論理式 [#u35fb714]

**論理式の定義 [#ldbf06ed]

論理式（logical formula）は命題を表す式。
まず、命題変数は論理式（の一種）である。
&mathjax{A,B};が論理式なら、&mathjax{(\lnot A),(A \land B),(A \lor B),(A \Rightarrow B)};も論理式。
※再帰的な定義\\
**■論理式の省略方法 [#v46dfc21]
一番外側の括弧は省略可能
結合の優先度を&mathjax{ \lnot > \land > \lor > \Rightarrow }; とし、意味を壊さない程度に括弧を省略できる。


*以下執筆中 [#r674eba6]

*コメント [#q146f4af]
#pcomment