e111k - MAD 2104 Quiz I Sept 1, 2011 Prof. S. Hudson 1)...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
MAD 2104 Sept 1, 2011 Quiz I Prof. S. Hudson 1) Prove that ¬ p q is logically equivalent to p ↔ ¬ q using a table and a few words (you can use another proof style, for partial credit, at your own risk). 2a) Find the negation of x ( x 2 > x ) (answer without using ¬ ). 2b) The proposition in 2a) is true for some domains and not others. Give an example of a domain for which it is true. Your answer should be a set of numbers. 2c) Give a domain for which it is false. 3) Answer each part with “True” or “False”. You don’t have to explain (but it doesn’t hurt, and might help if we decide later that a question was not totally clear). a) p ( p q ) is a tautology. b) ( p q ) ( p → ¬ q ) is a contradiction. c) The converse of p → ¬ q is q → ¬ p . d) p → ¬ q is logically equivalent to q → ¬ p . e) 0101 L 1100 = 1101. Bonus (approx 5 pts): Show that {∧ , ¬} is functionally complete. You can quote any HW problems you did related to this. Hint: Find an equivalence that shows
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 2

e111k - MAD 2104 Quiz I Sept 1, 2011 Prof. S. Hudson 1)...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online