Extended Soundness Theorem of Propositional Logic