from 命題論理

論理演算子

negation

\lnot

HaskellやJSの !

同等

equivalence

\leftrightarrow

演算子の優先順位

論理演算子には優先順位がある

それによって括弧のつけ外しが可能

優先度高い↑

\lnot

\land, \lor, \underline{\lor}

\rightarrow, \leftrightarrow

同等な優先順位のものの場合括弧の取り外しはできない

(P\land Q)\lor RをP\land Q \lor Rにすることはできない

参考