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
Tyto příklady jsou dále využity k definici několika tříd asociačních pravidel.