Multiple choices 45/50
(Choose 1 answer)
A. (i) and (ii)
B. (iii)
C. (ii)
D. None of the other choices is correct.
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.
"Every subset of a finite set is finite".
Which one is true?
(i) VAVB[(F(B) S(A, B)) → F(A)]
(ii) VAB[(F(B) S(A, B)) ^ F(A)]
(iii) VAB[(F(B) → S(A, B)) ^ F(A)]
Next
E. (i)
1
2
3
4
5
6
7
8
9
10
11 12 13
14
15
16 17 18 19 20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36 37
38 39 40 41 42
43
44
45
46 47
48
49 50
