Soundness dle Consider pierce law (A→B)→A)→A. Give its tableau proof o Give its truth tableSoundness 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