https://maximummathematics.com/books/foundational-mathematics/logic/laws-of-logic/index.htmlAt this point, we’re familiar with the fundamental unit of logic — the proposition. We’ve seen how to combine them into compound propositions, and how to use truth tables to identify propositions that are always true — tautologies. With these tools, we are ready to start discussing the heart of logical deduction and our unique ability to reason — the Laws of Logic! A Simple Example Before we dive into the deep end, let’s wade in a shallow example where we examine a few propositions that involve the biconditional connective.Hugoen-US