230exam1sol - Math 230 E Exam 1 Fri Sep 30 Fall 2011 Drew...

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

View Full Document Right Arrow Icon
Math 230 E Fall 2011 Exam 1 — Fri Sep 30 Drew Armstrong There are 4 problems, worth 6 points each. There is 1 bonus point for writing your name. This is a closed book test. Anyone caught cheating will receive a score of zero . 1. [6 points] Let S and T be subsets of the universal set U . (a) Write the statement S 6⊆ T c in terms of logical symbols. S 6⊆ T c = ¬ ( S T c ) = ¬ ( x U, ( x S ) ( x 6∈ T )) (b) Write the statement S T 6 = in terms of logical symbols. x U, ( x S ) ( x T ) (c) Prove that the statements S 6⊆ T c and S T 6 = are logically equivalent. S 6⊆ T c ” = ¬ ( x U, ( x S ) ( x 6∈ T )) = x U, ¬ (( x S ) ( x 6∈ T )) = x U, ¬ ( ¬ ( x S ) ∨ ¬ ( x T )) = x U, ( x S ) ( x T ) = “ S T 6 = 2. [6 points] (a) Prove de Morgan’s law ¬ ( P Q ) = ¬ P ∧ ¬ Q using a truth table. Here is the truth table:
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

230exam1sol - Math 230 E Exam 1 Fri Sep 30 Fall 2011 Drew...

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