(Λατινικά για θετική λειτουργία. ««««) Ένας συμπερασματικός κανόνας που αναφέρει ότι, αν ισχύει το Α και ένα που σημαίνει Β , τότε ισχύει επίσης Β .