基本解釋命題演算詞組短語短語calculus of proposition system 命題演算系統(tǒng)calculus of proposition更多詞組專業(yè)釋義心理學(xué)命題演算