[[(p/\q) → (r\/s)] /\ (p/\q)] → (r\/s) , donde A=(p/\q) y B=(r\/s).