短語詞組短語completeness of propositional calculus 命題縯算的完備性medium propositional calculus 中介命題縯算Medium Logic Propositional Calculus 中介邏輯命題縯算assignment in propositional calculus 命題縯算指派modal propositional calculus s 模態(tài)命題縯算Sfuzzy propositional calculus 模糊命題縯算propositional calculus form system 命題縯算形式系統(tǒng) 返回 propositional calculus