Reasoning Patterns in Prop Logic

Given(s) Conclusion A  B, A B B  A A

Rules that allow us to introduce new propositions while preserving truth values: logically equivalent Two Examples: n Modus Ponens n And Elimination