Propositional Logic

Home > Philosophy > Logic > Formal Proof > Propositional Logic

This is the study of propositions and their logical relationships, including conjunction, disjunction, implication, and negation.