Logical thread. Logical equivalence. equivalence examples. equivalent. is equivalent to.