propositional calculus
Propositional calculus, also known as propositional logic, is a formal system that deals with the study of logical relationships between propositions (statements or sentences) without considering their internal structure or meaning. It focuses on the manipulation of propositions using logical connectives like "and," "or," and "not," providing a framework to determine the truth value of compound propositions based on the truth values of their constituents.
Requires login.