結果 : difference between syntax and semantics in propositional logic