noun
: a fundamental branch of symbolic logic dealing with propositions or statements as wholes, with their combinations, with the connectives that interrelate them, and with their transformation rules — compare transformation rule , truth table
noun
: a fundamental branch of symbolic logic dealing with propositions or statements as wholes, with their combinations, with the connectives that interrelate them, and with their transformation rules — compare transformation rule , truth table
Webster's New International English Dictionary. Новый международный словарь английского языка Webster. 2012