q
p
q, we require a
valuation that makes p
q false and p
q true. From the latter, we conclude
that such a valuation has to assign T to p and q. But then p
q evaluates to F, as desired, since the truth values of
p and
q are different. Thus, this
valuation is a witness to the fact that the claimed semantic
entailment does not hold.