MATH 1090 Study Guide - Quiz Guide: Soundness
16 Oct 2018
School
Department
Course
Professor
Document Summary
Instructions: time allowed: 120 minutes, a list of axioms and theorems is provided, calculators are not permitted, no internet connected de- Vices or other aids permitted: show work as required. Use page backs for any scrap work: use pen to ll in cover. Total pencil for your answers: there are 8 questions on 8 pages. February 25, 2014: (5 points) (a) give a formula calculation for ((( p) ( q)) (r ( p))) . Answer: ( p q) (r ( p)) . February 25, 2014: (10 points) let a be a boolean formula of complexity 18. Prove that if every boolean formula of complexity less than or equal to 17 has the property that its complexity equals the number of its left brackets, then a has 18 left brackets. Answer: a has one of the following forms with b and c boolean formulae, ( b), (b c), (b c), (b c), or (b c) .
