Propositional Logic Vs First Order Logic