结构推理
用谓词逻辑公式表示以下关系命题:
1.所有公民都应该保护妇女儿童的合法权益。
2.有些学生喜欢比较活泼的老师。
3.同事之间应该保留一定的个人空间。
【正确答案】1.设Gx:x是公民,Fx:x是妇女儿童的合法权益,R(x,y):x保护y,则(x)(Gx→(y)(Fy→R(x,y)))。
2.设Xx:x是学生,Bx:x是比较活泼的老师,R(x,y):x喜欢y,则(x)(Xx∧(y)(By→R(x,y)))。
3.设Tx:x是同事,Lx:另一些同事,R(x,y):x应该保留(距离)一定的个人空间,则(Ax)(Tx→(y)(Ly→R(x,y)))。
【答案解析】