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]