Discover published sets by community

An entity is identical to itself. Usage: Basic principle used in all forms of logic and argument, denoted as $A = A$.

A statement cannot be both true and false at the same time in the same respect. Usage: Foundational to avoiding paradoxes in formal logic, often expressed as $(A \land \neg A)$ is always false.

For any proposition, either that proposition is true, or its negation is true. Usage: Underlies the principle of bivalence in classical logic, denoted as $A \lor \neg A$.

If a given implication is true and its antecedent is true, then the consequent is also true. Usage: Fundamental rule of inference, represented as if $A \rightarrow B$ and $A$ is true, then $B$ is also true.