Please Login to access more options.

Definition (Logically Equivalent)

We say two statements or open sentences are logically equivalent if they have the same truth value for all possible values of their component statements.