Let's say we've got two propositions, p and q. If the truth values of the assertions are always the same, they are identical or logically similar. That is, p is true whenever q is accurate, and vice versa and p is false whenever q is false, and vice versa, when p and q are logically equivalent. So we write p = q if p and q are logically equal.