To understand a proposition p it is not enough to know that “udq.eudq;p implies ’“p“udq.eudq; is true, but we must also know that
~p implies “p is false”
‘’
. This shows the ˇbipolarity of the proposition.