Definition:Logical Equivalence/Also known as

Logical Equivalence: Also known as

Two logically equivalent statements are also referred to as:

• interderivable
• equivalent
• strictly equivalent
• coimplicant

Sources

• 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): Chapter $1$: The Propositional Calculus $1$: $5$ Further Proofs: Résumé of Rules: Theorem $29$
• 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): Chapter $2$: The Propositional Calculus $2$: $3$ Truth-Tables: $\text {(v)}$
• 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): equivalence: 2. (logical or strict)
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): equivalence: 2. (logical or strict)