結合子

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

Mathematics is the language with which God has written the universe.