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