hw1-sol - ECS 120: Introduction to the Theory of...

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

View Full Document Right Arrow Icon
ECS 120: Introduction to the Theory of Computation Homework 1 Due Apr 8, by 1pm in the homework box in Kemper 2131 Problem 1. Let A, B, C be three sets. Prove the following: (a) A \ B = A \ ( B A ). (b) B A if and only if A B = . (c) ( A \ B ) \ C =( A \ C ) \ ( B \ C )= A \ ( B C ). (d) A B = and A B = if and only if A = B . (a) Let x be any element from the set A \ B .Then x A and x 6∈ B .Thu s x 6∈ A B , since it is not in both. But then x A \ ( B A ). So, all elements of A \ B are elements of A \ ( B A )too . Conv e r se ly ,le t x A \ ( B A ). Then, x A and x 6∈ A B s x is in A but not B .S o , x A \ B and therefore all elements of A \ ( B A ) are elements of A \ B too. (b) (If) If A B = and x B ,then x A , i.e. B A . (Only if) If B A and x B then x A . Then, x 6∈ A , and thus A B = . (c) First we show that A \ B = A B .Name ,i f x A and x 6∈ B then x A and x B .T h u s x A B .C o n v e r s e l y f x A B then x A and x B h u s x A and x 6∈ B , and the result follows.
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.

This note was uploaded on 10/30/2009 for the course ECS 120 taught by Professor Filkov during the Spring '07 term at UC Davis.

Page1 / 4

hw1-sol - ECS 120: Introduction to the Theory of...

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