結果 : difference between syntax and semantics in logic