詳しくは記号論理学の項目を参照。