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.