Propositional logic
| |

Propositional logic (propositional calculus, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic) is part of the mathematical logic. Its purpose is the study of the logical relations between “propositions” and defines the formal laws according to which the … Read More