It is not necessary to use all connectives  – for example, { ¬ , ∧ , AX , AU , EU } {\displaystyle \{\neg ,\land ,{\mbox{AX}},{\mbox{AU}},{\mbox{EU}}\}} comprises a complete set of connectives, and the others can be defined using them.
Δε χρειάζονται όλοι οι σύνδεσμοι - για παράδειγμα οι { ¬ , ∧ , A X , A U , E U } {\displaystyle \{\neg ,\land ,AX,AU,EU\}} αποτελούν πλήρες σύνολο συνδέσμων, με τους υπόλοιπους να μπορούν να οριστούν με βάση αυτούς.