Report copyright - Introduction to Logicssll.cecs.anu.edu.au/files/slides/tiu.pdf · Lecture 1Propositional logic: syntax, semantics, basic notions such as models, boolean satis ability, normal forms
Please pass captcha verification before submit form