Discrete Math Logical Equivalence

Biconditional Truth Table [1] Brett Berry

Logical equivalence is a type of relationship between two statements or sentences in propositional logic or Boolean algebra.

You can’t get very far in logic without talking about propositional logic also known as propositional calculus.

A proposition is a declarative sentence (a sentence that declares a fact) that is either true or false.