結合子

結合子（connective）とは，2つ以上の命題（proposition）から1つの命題（proposition）を作りだすための演算子（論理積，論理和，排他的論理和etc）のこと．

Vita brevis, ars longa. Omnia vincit Amor.