Material implication

From Logic

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.

References

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