![](https://static.youtibao.com/asksite/comm/pc/images/content_title_q.png)
[主观题]
找出自然数域上的两个谓词P和Q以证明归纳证明的基础步骤和归纳步骤是独立的,也就是没有一个逻
辑地蕴含另一个。特别,要找出一谓词P使P(0)是真而
是真。
![找出自然数域上的两个谓词P和Q以证明归纳证明的基础步骤和归纳步骤是独立的,也就是没有一个逻辑地蕴含另](https://img2.soutiyun.com/ask/2021-01-28/980696802560883.png)
![](https://static.youtibao.com/asksite/comm/pc/images/content_title_a.png)
查看答案
第1题
给定个体域D和D上的解释I,称D上n元有序组集合D}为可定义的,如果存在含n个自由变元的谓词公式a(x1,x2,...,xn),a(x1,x2,...,xn)在域D和解释I下为真当且仅当对x1,x2,...,xn的賦值d1,d2,...,dn满足
.已知n元有序组集合A,B都是可定义的,请证明:
(1)AUB是可定义的.
(2)A-B是可定义的.
(3)n-1元有序组集合存在某个d使得
是可定义的.
第2题
设y1(x)、y2(x)是二阶齐次线性方程y''+p(x)y'+q(x)y=0的两个解,令证明:
第4题
在MBC中,设P,Q,R分别是直线AB,BC,CA上的点,并且,
,
.证明三线AQ,BR,CP共点的充要条件是λμv=1.
第5题
第11题
设有两个串p和q,求q在p中首次出现的位置的运算称为()
A.连接
B.模式匹配
C.求子串
D.求串长