Hi,

I read that two statements are logically equivalent if and only if they have the same truth value for every possible combination.

Does that mean the two statements are also semantically equivalent?

Are (A ⊢ B) and (P ≡ Q) statements/propositions?

Thanks for help.