What is a First-Order Logic? - University of Pittsburgh

Example Logical Equivalence Two sentences S and S’ are logically equivalent if and only if every non-spurious row of their joint truth table assigns the same values ...