CSE 215 Quiz: Recitation 2
7 Mar 2017
School
Department
Course
Professor
Document Summary
This statement is true since all encompasses nothing. This statement will be vacuously true since the first statement is false as there are no balls in the bowl. X p(x) -> b(x: x (~p(x)) v b(x) Negation: x p(x) ^ ~(b(x)) we used demorgan"s on the statement above to do this. This is the inverse of the first statement. Forall statements with an empty domain, the logical statement is always true. Thereexists statements with an empty domain, the logical statement is always false since it assumes that there is a ball that exists in the set. X p(x) x, x e d ^ p(x) X p(x) x , x e d -> p(x) The statement above this one is not the inverse. The inverse would be the one above but with ~p(x). This n fact is a different logical statement than the one above. Truth set: {-5, -4, , 4, 5} c)
