# 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.