sentential calculus