Function: noun
Date: 1903
: the branch of symbolic logic that uses symbols for unanalyzed propositions and logical connectives only ― called also sentential calculus ― compare PREDICATE CALCULUS
Function: noun
Date: 1903
: the branch of symbolic logic that uses symbols for unanalyzed propositions and logical connectives only ― called also sentential calculus ― compare PREDICATE CALCULUS
Merriam Webster Collegiate English Dictionary. Merriam Webster - Энциклопедический словарь английского языка. 2012