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 16, 2013 6 / 17
Soundness ample Consider Pierce law (A→B)→A)→A o 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 16, 2013 7 / 17