Starting semantics of propositional logic