Now let’s consider the situation where p ↔ q is not a tautology, but one of p → q
or q → p is. If p → q is a tautology while q → p is not, then we say that p is a stronger
statement than q. This means that the truth of p necessitates the truth of q, but the truth
of q is not necessarily accompanied by the truth of p.