[单选题,6.6分] 设S(x): x是三好学生, a:张三, b: 李四, 命题“张三是三好学生而李四不是”符号化为( )
A.S(a), S(b)
B.S(a)∨S(b)
C.S(a)∨S(b)
D.S(a)∧S(b)
出自:河南理工大学-计算机科学与技术-离散数学