Report copyright - Proof Methods for Propositional Logic of Inference Rules • Each application yields the legitimate (sound) generation of a new sentence from old • Proof = a sequence of sound inference
Please pass captcha verification before submit form