To understand a proposition p it is not enough to know that p implies ‘“p” is true’, but we must also know that ~p implies “p is false”. This shows the bi-polarity of the proposition.