如果结果不匹配，请 
更多“谓词逻辑可以表示规则。（)”相关的问题
第4题
试将下列各句用谓词逻辑公式表示。 （1)人人为我，我为人人。 （2)鱼我所欲也，熊掌亦我所欲也。 （3)有的兔子比所有的乌龟跑得快。 （4)若集合A上的二元关系R是反自反的和传递的，则R是反对称的。
第6题
A（x);x是人.B（x);x是错误.C（x,y):x犯了y.D（x,y):y能改正x. 用上述谓词构成表示下列语句的谓词公式: （1)凡人都公犯错误。 （2)并非所有人犯错误都能改。 （3)有的错误任何人犯了都不能改。
是真。第8题
谓词逻辑下，子句C1=L∨C1’,C2=┐L∨C2’,若σ是互补文字的最一般合一代换，则其归结式C12=（)。
A.C1’σ∨C2’σ
B.C1’∨C2’
C.C1’σ∧C2’σ
D.C1’∧C2’
