Calculus of sentences: System of logic containing variables representing whole sentences and logical operators applying to such variables.
Calculus of sentences: System of logic containing variables representing whole sentences and logical operators applying to such variables.