找出句子对应得谓词表达式:()有些运动员不是教练(J(x):x是教练员,L(x):x是运动员)
A.¬∀x(L(x)→J(x))B.∃x (L(x)→¬J(x))C.∃x(L(x)∧¬J(x))D.∃x(¬L(x)∧J(x))E.∀x(L(x)→¬J(x))
多项选择题找出句子对应得谓词表达式:()不是所有运动员都是教练员(J(x):x是教练员,L(x):x是运动员)
A.¬∀x(L(x)→J(x))B.∃x (L(x)→¬J(x))C.∃x(L(x)∧¬J(x))D.∃x(¬L(x)∧J(x))E.∀x(¬L(x)→J(x))
单项选择题找出句子对应得谓词表达式:()有些教练员是运动员(J(x):x是教练员,L(x):x是运动员)
A.∀x(J(x)→L(x))B.∀x(J(x)∧L(x))C.∃x(J(x)→L(x))D.∃x(J(x)∧L(x))
单项选择题(q→p)∧(¬p∧q )的主析取范式及主合取范式为:()
A.主析取范式为空,M0∧M1∧M2∧M3B.m0∨m1∨m2∨m3,主合取范式为空C.m0∨m1∨m2,M0D.m0,M1∧M2∧M3
单项选择题p→(p ∧(q →p ))的主析取范式及主合取范式为:()
A.m0∨m1∨m2,M3B.m2∨m3,M0∧M1C.m0∨m1∨m2∨m3,主合取范式为空D.主析取范式为空,M0∧M1∧M2∧M3
单项选择题q ∧(p ∨¬q )的主析取范式及主合取范式为:()
A.m3,M0∧M1∧M2B.m2,M0∧M1∧M3C.m2∨m3,M0∧M1D.m1∨m2,M0∧M3