blue271828's misc :-)

論理演算子

#論理学

Contents

概要

論理演算子 (logical operator) とは、論理演算の演算子である。

論理演算子

定義：

論理演算子	名称	読み方
$\lnot$	否定	〜ではない
$\forall$	全称量化	全ての; 任意の; それぞれについて
$\exists$	存在量化	〜が存在する
$\land$	論理積	かつ
$\lor$	論理和	または
$\rArr$	実質含意	含む; もし〜ならば
$\lrArr$	実質等値	〜のとき、かつそのときに限り

論理演算子の優先順位

定義：

\[ \{\lnot,\forall,\exists\} \gt \{\land,\lor\} \gt \{\rArr, \lrArr\} \]

参考文献

Tags

#Ansible (3) #Bash (1) #Docker (1) #Git (2) #Hugo (2) #Molecule (1) #Python (1) #WSLtty (1) #アルゴリズム (4) #ビジネス用語 (1) #プログラミング (1) #位相空間論 (8) #初等数学 (20) #初等関数 (1) #実解析 (1) #幾何学 (3) #微分積分学 (18) #情報理論 (4) #抽象代数学 (14) #数理モデル (2) #数理論理学 (21) #機械学習 (3) #正規表現 (1) #測度論 (3) #特殊関数 (4) #確率論 (18) #組合せ論 (5) #統計学 (12) #線型代数学 (18) #複素解析学 (4) #解析学 (15) #論理学 (6) #順序集合論 (9)