1. Translate the following, well-established rules in set theory into predicate logic expressions. You may assume that the universe of discourse is the set of all sets

A) If A is a subset of B, then every element of set A is also an element of set B. (Remember that means x is a subset of y, and means x is an element of set y. Make sure your solution uses these symbols).

B) There are no elements in the empty set. (Remember that is the empty set. Make sure your solution uses this symbol).

C) If A is a proper subset of B, then A is a subset of B but there is at least one element of set B that is not an element of set A. (Remember that means x is a subset of y

Transcribed image text