3.Next

Propositional logic is a branch of classical logic. It is also called statement logic, sentential calculus, propositional calculus, sentential logic, or sometimes zeroth-order logic. Sometimes, it is called first-order propositional logic' to contrast it with System F, but it should not be confused with first-order logic. It deals with propositions

3.Next