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