Some new propositional inferences