Material implication

Two statements are said to be  materially equivalent ,  or equivalent in truth value  when their truth values cannot be the negation of each other: i.e. they must both be true or both be false. We can read material equivalence as  p if and only if q.

[edit] References

 * Copi, I. M, Cohen, C., (2001), "Introduction to Logic", 11th Edition.