論理演算子
Contents
概要
論理演算子 (logical operator) とは、論理演算の演算子である。
論理演算子
定義:
論理演算子 | 名称 | 読み方 |
---|---|---|
$\lnot$ | 否定 | 〜ではない |
$\forall$ | 全称量化 | 全ての; 任意の; それぞれについて |
$\exists$ | 存在量化 | 〜が存在する |
$\land$ | 論理積 | かつ |
$\lor$ | 論理和 | または |
$\rArr$ | 実質含意 | 含む; もし〜ならば |
$\lrArr$ | 実質等値 | 〜のとき、かつそのときに限り |
論理演算子の優先順位
定義:
\[ \{\lnot,\forall,\exists\} \gt \{\land,\lor\} \gt \{\rArr, \lrArr\} \]