离散数学期末复习试题及答案(七)

第七章 谓词逻辑１．用谓词表达下列命题fk1) 小张不是工人。fk设 c:小张 W(x): x 是工人W(c )2) 所有教练员都是运动员。fk设 J(x):x 是教练 , W(x):x 是运动员(