任务描述
本关任务：掌握命题逻辑与谓词逻辑，并完成相应的选择题。
相关知识
为了完成本关任务，你需要掌握命题逻辑与谓词逻辑。
引言
人工智能中用到的逻辑可以划分为两大类。一类是经典命题逻辑和一阶谓词逻辑，其特点是任何一个命题的逻辑的真值或者为“真”，或者为“假”，二者必居其一。因为它只有两个真值，因此又称为二值逻辑。另一类是泛指经典逻辑外的那些逻辑，主要包括三值逻辑、多值逻辑、模糊逻辑等，统称为非经典逻辑。
命题逻辑和谓词逻辑是最先应用于人工智能的两种逻辑，在知识的形式化表示方面，特别是定理的自动证明方面，发挥了重要的作用，在人工智能的发展史中占有重要的地位。
命题逻辑
谓词逻辑是在命题逻辑的基础上发展起来的，命题逻辑可以看成是谓词逻辑的一种特殊形式。下面首先讨论命题。
命题是一个非真即假的陈述句。若命题的意义为真，例如:3<5，则称它的真值为真，记作T(True)；若命题的意义为假，例如：太阳从西边升起，则称它的真值为假，记为F(False)。一个命题虽然不能同时为真又为假，但可以在一种条件下为真，在另一种条件下为假。例如：
1+1=10在二进制情况下是真值为T的真命题，但在十进制条件下是真值为F的命题。同样对“今天是晴天”，也要看当天的实际情况才能决定其真值。而命题逻辑就是研究命题及命题之间关系的符号逻辑系统。在命题逻辑中，命题通常用大写的英文字母表示，例如，可用英文字母P表示“西安是一个古老的城市”。
英文字母表示的命题可以是一个特定的命题，称为命题常量，也可以是一个抽象的命题，称为命题变元。对于命题变元而言，只有把确定的命题代入后，它才能有明确的真值。简单的陈述句表达的命题称为简单命题或者原子命题。引入否定、合取、析取、条件、双条件等连接词，可以将原子命题构成复合命题。
命题逻辑表示法有较大的局限性，它无法把它所描述的结构及逻辑特征反应出来，也不能把不同事物间的共同特征表述出来。例如“老李是小李的父亲”，若用英文字母P表示，则无论如何也看不出老李与小李的父子关系。又如“李白是诗人”、“杜甫也是诗人”这两个命题，用命题逻辑表示时，也无法把两者的共同特征（都是诗人）形式地表示出来。由于这些原因，在命题逻辑的基础上发展起来的谓词逻辑。
谓词逻辑是基于命题中谓词分析的一种逻辑。一个谓词可以分为谓词名和个体两个部分。个体表示某个独立存在的事物或者某个抽象的概念；谓词名用于刻画个体的性质、状态或个体间的关系。谓词的一般形式是：
P(x1,x2,…,xn)
其中，P是谓词名，x1,x2,…,xn是个体。谓词中包含的个体数目称为谓词的元数。P(x)是一元谓词，P(x，y)是二元谓词，P(x1,x2,…,xn)是n元谓词。
谓词名是由使用者根据需要人为定义的，一般用相应意义的英文单词表示，或者用大写的英文字母表示，也可以用其他符号，甚至中文表示。例如对于谓词S(x)，既可以定义它是“x是一个学生”，也可以定义“x是一只船”。在谓词中，个体可以是常量；也可以是变元，还可以是一个函数。个体常量、个体变元、函数统称为“项”。个体是常量，表示一个或一组指定的个体，例如:“5>3”这个命题，可以表示为二元谓词 Greater(5,3)，其中Greater是谓词名，5和3是个体，“Greater”刻画了5与3之间的大于关系。个体是变元，表示没有指定一个或一组指定的个体，例如“x<5”这个命题，可以表示为Less(x,5)，其中x是变元。个体是函数表示一个个体到另一个个体的映射。例如“小李的父亲是教师”，可以表示为Teacher(father(LI))。father(LI)是函数。
在P(x1,x2,…,xn)中，若xi(i=1,2,…,n)都是个体常量、变元或者函数，称它为一阶谓词。如果某个xi本身又是一个一阶谓词，则称它为 二阶谓词，余者依次类推。例如，“ SMITH 作为一个工程师为 IBM 工作”这个命题，可以表示为二阶谓词 Work（ Engineer ( SMITH ) ,IBM )，因为 Engineer(SMITH） 也是一个一阶谓词。
作答要求
根据相关知识，按照要求完成选择题任务。
题目
1、一个命题不能同时为真又为假，但可以在一种条件下为真，在另一种条件下为假（）。
A、对
B、错
2、命题逻辑表示法可以把它所描述的结构及逻辑特征反应出来，也可以把不同事物间的共同特征表述出来（）。
A、对
B、错
3、“小李的父亲是教师”，可以表示为Teacher(father(LI))。这里father(LI)表示（ ）
A、变元
B、常量
C、谓词
D、函数
