利用数学归纳法证明下面公式;
请帮忙给出正确答案和分析,谢谢!
请帮忙给出正确答案和分析,谢谢!
第1题
利用范式证明下列公式为永真式(证明合取范式的每一个合取项中含有互补文字,或其主析取范式中含有2n个析取项,n是公式中变元的个数).
第4题
如果a*(b*c)=(a*b)*c、那么二元运算*称为可结合的。从它可推得更强的结果,即在任何仅含运算*的表达式中,括号的位置不影响结果,就是,仅仅出现于表达式中的运算对象和次序是重要的。为了证明这个“推广的结合律”,我们定义“*表达式集合”如下:
(a)(基础)单个运算对象a1是*表达式。
(b)(归纳)设e1和e2是*表达式,那么(e1*e2)是一个*表达式。
(c)(极小性)只有有限次应用(a)和(b)构成的式子才是*表达式。
推广的结合律陈述如下;
设e是一个表达式、它有a1a2…,an个运算对象,且以此次序出现于表达式中,那么e=(a1*(a2*(a3*(…(an-1*an))…)))
证明这个推广的结合律。(提示:用数学归纳法第二原理。)
第5题
在自然推理系统P中构造下面推理的证明。
(1)如果今天是星期六,我们就要到颐和园或圆明园去玩,如果颐和园游人太多,我们就不去颐和园玩,今天是星期六,颐和园游人太多,所以我们去圆明园玩。
(2)如果小王是理科学生,他的数学成绩一定很好,如果小王不是文科生,他必是理科生,小王的数学成绩不好所以小王是文科学生
(3)明天是晴天,或是雨天;若明天是晴天,我就去看电影;若我看电影,我就不看书,所以,如果我看书,则明天是雨天
第6题
在教学中,常用()讲授基本概念、重要的定律和公式,它可以使学员获得深刻的印象,自觉地由具体上升到抽象,从感性发展到理性。
A.叠加法
B.讨论法
C.归纳法
D.排除法
第7题
在Excel 97公式中,使用的运算符一般有()。
A.数学运算符
B.关系运算符
C.文本运算符
D.以上全部
第10题