Definition:Sentential Calculus