给出一个解释I，使得在I下，为真，而为假，试说明

给出解释I，使下面两个公式在解释I下均为假，从而说明这两个公式都不是逻辑有效式(永真式)．

(1)x(F(x)∨G(x))→(xF(x)∨xG(x))；

(2)(xF(x)∧xG(x))→x(F(x)∧G(x))．

给定解释I如下。

试求下列公式在Ⅰ下的真值。

给定解释I如下:

说明下列各式在I及σ下的含义,并讨论其真值.

给定解释I如下:

说明下列公式在I下的含义,并指出各公式的真值.

设个体域D={1，2}，请给出两种不同的解释I₁和I₂，使得下面公式在I₁下都是真命题，而在I₂下都是假命题。

A、由真推真

B、由假推假

C、由真推假

D、由假推真

设A，B为同阶方阵，

(I)如果A，B相似，试证A，B的特征多项式相等．

(Ⅱ)举一个二阶方阵的例子说明(I)的逆命题不成立．

(Ⅲ)当A，B均实对称矩阵时，试证(I)的逆命题成立．

A.A命题真，E命题假

B.A命题假，I命题真

C.A命题真，O命题假

D.E命题假，O命题真

E.I命题真，E命题假

是/否数据类型常被称为()。

A．真/假型

B．布尔型

C．对/错型

D．O/I型

Ackermann函数A(m,n)可递归定义如下:

试设计一个计算A(m,n)的动态规划算法,该算法只占用O(m)空间(提示:用两个数组val[0:m]和ind[0:m],使得对任何i有val[i]=A(i,ind[i])).