Generalization of Kalmar’s proof of deducibility in two valued propositional logic into many valued logic