исчисление высказываний
математика исчисление высказываний
noun the branch of symbolic logic that uses symbols for unanalyzed propositions and logical connectives only — called also sentential calculus — compare predicate calculus
propositional logic