Question: Let F (A) be the predicate A is a finite set and S (A,B) be the predicate A is contained in B .

Let F (A) be the predicate " A is a finite set" and S (A,B) be the predicate " A is contained in B ". Suppose the universe of discourse consists of all sets. Translate the statement into symbols.

(i). Not all sets are finite.

(ii). Every subset of a finite set is finite.

(iii).No infinite set is contained in a finite set.

(iv).The empty set is a subset of every finite set.

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Mathematics Questions!