Παρατηρούμε ότι κάθε προτασιακός τύπος ορίζει την εξής σχέση:
Παρατηρούμε ότι τα στοιχεία του που σχετίζονται με κάποια του
είναι τα εξής:
Τα στοιχεία του που σχετίζονται με κάποια του
:
Από τον ορισμό της προκύπτει ότι:
και
.
Υπόδειξη:
,
.
Mihalis Kolountzakis 2015-11-28