题目

谓词公式“forall x (P(x) arrow Q(x))”的含义是？A. 存在x满足P则QB. 所有x都满足PC. 对有些x，若P为真则Q成立D. 对任意x，若P为真则Q成立

谓词公式“$\forall x (P(x) \rightarrow Q(x))$”的含义是？

A. 存在x满足P则Q

B. 所有x都满足P

C. 对有些x，若P为真则Q成立

D. 对任意x，若P为真则Q成立

题目解答

答案

D. 对任意x，若P为真则Q成立