Thus, even though most deduction systems studied in propositional logic are able to deduce ( P ∨ Q ) ↔ ( ¬ P → Q ) {\displaystyle (P\lor Q)\leftrightarrow (\neg P\to Q)} , this one is too weak to prove such a proposition.
Έτσι, παρόλο που τα περισσότερα συστήματα απαγωγής που συναντάμε στην προτασιακή λογική συναγάγουν συνήθως ( ( P ∨ Q ) ↔ ( ¬ P → Q ) {\displaystyle (P\lor Q)\leftrightarrow (\neg P\to Q)} ,, το συγκεκριμένο είναι πάρα πολύ αδύναμο για να αποδείξει μια τέτοια πρόταση.