論理演算子
↑ 述語論理や各種の非古典論理