(Dal latino modalità affermativa. ) Una regola di inferenza afferma che se ' A ' è vero, e ' A ' implica ' B ', poi ' B ' è anche vero.