2、以下用一阶谓词表示的命题错误的是：A．我爸爸喜欢吃鸡蛋并且我妈妈喜欢吃西红柿： like_eat(father(我)，鸡蛋)∨like_eat(mother(我)，西红柿)B．小博不在实验室：¬in(小博，实验室)C．老王的生日在4月：birthday（老王，4月）D．大亮的老师擅长打羽毛球和网球： good_at(teacher(大亮)，羽毛球)∧good_at(teacher(大亮)，网球)

2、以下用一阶谓词表示的命题错误的是：

A．我爸爸喜欢吃鸡蛋并且我妈妈喜欢吃西红柿： like_eat(father(我)，鸡蛋)∨like_eat(mother(我)，西红柿)

B．小博不在实验室：¬in(小博，实验室)

C．老王的生日在4月：birthday（老王，4月）

D．大亮的老师擅长打羽毛球和网球： good_at(teacher(大亮)，羽毛球)∧good_at(teacher(大亮)，网球)

参考答案和解析
A. 我爸爸喜欢吃鸡蛋并且我妈妈喜欢吃西红柿： like_eat(father( 我 ) ，鸡蛋 ) ∨ like_eat(mother( 我 ) ，西红柿 )；

相关考题：

特称肯定命题用公式表示为() A、SAPB、SEPC、SIPD、SOP
查看答案
一阶谓词逻辑表示法的优点是()。 A.严密性B.自然性C.通用性D.以上都对
查看答案
仅个体变元被量化的谓词称为() A.一阶谓词B.原子公式C.二阶谓词D.全称量词
查看答案
关系演算是用( )来表示查询要求的方式。A．域B．关系的运算C．元组D．谓词演算
查看答案
谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是（）
查看答案
经典命题逻辑和谓词逻辑的语义解释只有两个：真和假，0和1
查看答案
关于命题“今天下雨同时又不下雨”的说法中，以下哪一项是对的？（）A、这个命题没有逻辑错误B、这个命题的符号表示是av-aC、这个命题包含谬误D、这个命题构成论证
查看答案
命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？
查看答案
一阶谓词逻辑可以使用的连接词有（）、（）、（）和（）
查看答案
仅个体变元被量化的谓词称为（）A、一阶谓词B、原子公式C、二阶谓词D、全称量词
查看答案
概念是用（）来表示的。A、语言B、词和词组C、言语命题D、句子
查看答案
如果原命题用P表示，那么负命题为：（）A、非PB、PC、并非PD、SAP
查看答案
一阶逻辑即是指（）。A、概率逻辑B、数值逻辑C、图式逻辑D、谓词逻辑
查看答案
非结构化的知识的表示法是（）。A、语义网络表示B、谓词逻辑表示C、框架表示法中D、面向对象表示
查看答案
一阶谓词逻辑表示法适于表示什么类型的知识？它有何特点？
查看答案
一阶多元谓词的多元关系中诸因素之间的平行、并列关系，其复杂性水平用关系的“维度”n表示。由于n反映的是平行、并列诸因素之间的复杂性，所以称为（）。
查看答案
谓词属性范畴表示的意义。
查看答案
问答题一阶谓词逻辑表示法适于表示什么类型的知识？它有何特点？
查看答案
填空题从语义关系看，有的兼语句的头一个谓词用“使、请、阻止、号召”等动词，表示____、阻止等意义，后一个谓词表示前一个动作行为的____或预期的结果。
查看答案
填空题一阶谓词逻辑可以使用的连接词有（）、（）、（）和（）
查看答案
单选题一阶逻辑即是指（）。A概率逻辑B数值逻辑C图式逻辑D谓词逻辑
查看答案
填空题一阶多元谓词的多元关系中诸因素之间的平行、并列关系，其复杂性水平用关系的“维度”n表示。由于n反映的是平行、并列诸因素之间的复杂性，所以称为（）。
查看答案
单选题概念是用（）来表示的。A语言B词和词组C言语命题D句子
查看答案
问答题命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？
查看答案
单选题仅个体变元被量化的谓词称为（）A一阶谓词B原子公式C二阶谓词D全称量词
查看答案
单选题关于命题“今天下雨同时又不下雨”的说法中，以下哪一项是对的？（）A这个命题没有逻辑错误B这个命题的符号表示是av-aC这个命题包含谬误D这个命题构成论证
查看答案
填空题谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是（）
查看答案
问答题谓词属性范畴表示的意义。
查看答案
热门标签