====== Příklady dedukčních pravidel ======

Korektnost dedukčního pravidla  ‹φ≈ψ,φ'≈ψ'› podstatně závisí na definici 4ft-kvantifikátoru ≈. 
Dále uvádíme příklady korektních i nekorektních dedukčních pravidel pro 4ft-kvantifikátory 
  * fundované implikace {{ :dedukcni_pravidla_priklady_fui.pdf |zde}} 
  * fundovaného AA-kvantifikátoru {{ :dedukcni_pravidla_priklady_aa.pdf |zde}}. 

Tyto příklady jsou dále využity k definici několika [[lm_guha_te_tridy|tříd asociačních pravidel]].