If Vs Only If Formal Logic