问题：
[单选题]假设命题变元x 和y都代表学生,命题函数C(x): x有电脑, F(x,y): x 和y是朋友。那么谓词表达式$x"y "z ((F(x, y)∧ F(x,z) ∧ (y ≠z))→¬F(y,z)) 表达的含义是.
A 存在一个学生，他只有一个朋友。
B 可能有学生，他的朋友彼此不友好。
C 有这样的学生，他的所有朋友彼此都不是朋友。
D 一定有学生，他和两个朋友翻脸了。
答案解析：
您可能感兴趣的问题
- 石灰岩由极细微的隐晶质的方解石组成,在热力烘烤作用下，原来的颗粒重结晶变成较粗大的晶粒成为大理岩,该过程为岩浆作用（）
- ______是目前已知最早的两栖类动物
- 刺胞动物门下列三个纲,包括( )。
- 请根据平旋壳旋卷方式的不同，选择相对应的侧视与横切面图：A-____；B-____；C-____。（每个空按字母正序，不加空格或标点）
- 如图所示,体现了腹足动物个体发育过程中软体的( )。
- 后口动物有：
- 石炭纪的____萼部短小，萼盖上凸，萼杯较萼盖略长。泥盆纪繁盛的____萼杯具9块骨板，其中三块在下称为底板，六块在上称为辐板。
- 分支系统学将生物的特征分解为若干性状，依据生物之间共有性状的关系确定它们的亲缘关系，远近疏离、祖先与后裔、直系还是旁系，被称作______。
- 肉鳍鱼类中的真掌鳍鱼,开始利用它们强壮的(),慢慢尝试登上陆地,拓展生活区域。这一支,最后演化为两栖类,也就是四足动物。
- 多趾型附肢与一般的鱼鳍有很大的区别：鱼类的鳍是单支点的杠杆，有肩带，无腰带，只能与躯体作相对应的转动；