问答题
对下列集合给出归纳定义：（a）十进制无符号整数集合，定义的集合将包含6，离散数学35，0045等等。（b）十进制的以小数部分为结束的实数集合，定义的集合将包含5.3，453，01.2700，0.480等等。（c）二进制形式的不以0开头的正偶数和0所组成的集合，定义的集合包含0，110，1010等等。（d）把算数表达式中的运算符和运算对象全删去，所得的括号叫成形括号串。例如[]、[[]]、[][]、[[[]][]]等都是成形括号串（例中用[]代（）是为了明晰），试定义成形括号串集合。
问答题 试用假设推理方法证明下面的定理： （P∧Q→R）→（P→（Q→R））.
问答题 试用假设推理方法证明下面的定理： （R→P）→（（R→Q）→（R→P∧Q））.
问答题 已知A={1，2，3，4}和定义在A上的关系ρ={（1，2），（4，3），（2，2），（2，1），（3，1）}，试证明ρ不是可传递的。求出一个关系ρ1ρ，使得ρ1是可传递的，你能求出另一个关系ρ2ρ也是可传递的吗？
