Symbolic / mathematical Logic

有無人可以幫下我呀...
我對symbolic/mathametical logic 完全可以話係唔識...
完全唔識點把d statement 轉成 logic 寫法...
有無人可以教下我呀...

Let f(A) be the predicate "A is a finite set” an s(A,B) be the predicate "A is a subset of B”
Suppose the universe of discourse consists of all sets. Translate the statement into symbols.
a) Not all sets are finite. (5 marks)
b) Every subset of a finite set is finite. (7 marks)
c) No infinite set is a subset of finite set. (8 marks)