相關(guān)單詞近義詞sentential function, 命題函數(shù)臨近詞proposition, proposition tree 返回 propositional function