如果结果不匹配，请 
更多“等价谓词重写是指将谓词表达式改写成更高效的形式，能够有效提高…”相关的问题
第1题
A（x);x是人.B（x);x是错误.C（x,y):x犯了y.D（x,y):y能改正x. 用上述谓词构成表示下列语句的谓词公式: （1)凡人都公犯错误。 （2)并非所有人犯错误都能改。 （3)有的错误任何人犯了都不能改。
第5题
试将下列各句用谓词逻辑公式表示。 （1)人人为我，我为人人。 （2)鱼我所欲也，熊掌亦我所欲也。 （3)有的兔子比所有的乌龟跑得快。 （4)若集合A上的二元关系R是反自反的和传递的，则R是反对称的。
第6题
用谓词公式将下列语句形式化.（1)我骑着马儿过草原.（2)《沁园春·雪》是伟人毛泽东的名作.（3)黛玉葬花,宝玉伤神,否则何谓痴男怨女.（4)每一位母亲都爱她自己的孩子.（5)今天有雨雪,有些人会跌跤.（6)天下乌鸦一般黑.
