Syntax Semantics in PL What's syntax o What's semantic? o What's relationship between them?
Syntax & Semantics in PL What’s syntax? What’s semantic? What’s relationship between them? Yi Li (Fudan University) Discrete Mathematics April 18, 2012 6 / 17
Soundness dle Consider pierce law (A→B)→A)→A. Give its tableau proof o Give its truth table
Soundness Example Consider Pierce Law ((A → B) → A) → A. Give its tableau proof. Give its truth table. Yi Li (Fudan University) Discrete Mathematics April 18, 2012 7 / 17