Logical Equivalence: Logic, Syntax (logic), Proof Semantic, Material equivalence, Metalanguage, Truth value, Model

Equisatisfiability: Logic, Satisfiable, Model Theory, Logical Equivalence

Definitions of Logic: Logic, Logical Truth, Tautology (logic)

Witness (Mathematics): Mathematical Logic, Existential Quantification, Computable Set, Logical Equivalence, Predicate Calculus,...