问答题 将命题：“存在一个函数，连续而不可导”符号化。

问答题 A和B是非空集S的两个划分，说明A-B是否为S的划分．

问答题 将命题：“小张和小王是好朋友”符号化。