“好人自有好报”可用谓词公式表示如下：设F（x)：x是好人;G（x)：x会有好报，则命题符号化为：∀x（F（x)→G（x))。（)