Logical equivalence can be defined as a relationship between two statements/sentences. It is represented by and PÂ Q means "P if and only if Q." If each of the statements can be proved from the other, then it is an equivalent.
Learn what is logical equivalence. Also find the definition and meaning for various math words from this math dictionary.