柯林斯詞典sentential calculus 1. N the formal theory the intended interpretation of which concerns the logical relations between sentences treated only as a whole and without regard to their internal structure 命題演算[logic] 返回 sentential calculus