MATH 241 Lecture Notes - Lecture 7: Empty String
Document Summary
X e ant if and only if x e at u b. 7 ( i x ea ) n ( x e b )) 7 ( x eb ) by de morgan "s law. = ( x ea ) v ( x e b ) X e i au b i thus atb is equal i logically equivalent to. I avb ) dx proof 3 - double containment ) Step 1 : show ant e au b. Step 2 : show a u b e ants since we have shown. X e a or x e b or both directions , we can say thus x ea or. I b or both that ant = au b so , So x et an b and x f ant therefore , xeiavb ) therefore we conclude that avb e ants we can conclude that. A the subsets don"t intersect s are all non - empty.