Jump to: navigation, search. In logic, statements and are
logically equivalent if they have the same
logical content. This is a semantic concept; two statements are
equivalent if they have the same truth value in every model (Mendelson 1979:56).
read more >>