484126128241224Hass图为
（2）极小元、最小元是1，极大元、最大元是24。2、（5分）解：公式A涵义为：对任意的实数xyz，如果xyA的真值为：真（T）。二十三、逻辑推理10解：设P：逻辑难学；Q：有少数学生不喜欢逻辑学；R：数学容易学符号化：证：①②③④⑤PT①EPT②③IT④E则xzyz
二十四、（10分）
f解：1时，111A
2时，A12A421
A3时，A的第三列全为0，故A不变4时A14A24A441
A5时，A的第五行全为0，故A不变。所以tR1112142224354244。二十五、证明151、（7分）证明：设若，全序集。，在B中不存在最小元素，由是全序集。
不是良序集，那么必有一子集
于B是一有限集合，故一定可找出两元素xy是无关的，由于所以xy必有关系，矛盾。故2、（8分）证明：设射，故必有使得，必，由于必是良序集。
满使得，
，由复合函数定义知，存在使
又因为g是函数，必对任
，任每个z在g作用下都是Y
中元素的一个映象，由Z的任意性，所以g是满射。试卷十试题与答案
f一、填空10（每小题2分）
PQ真值为1，1、若P，Q为二命题，当且仅当
2、对公式yPxyzQxzxRxy中自由变元进行代入的公为3、xFxxGx为的前。束范。式式。
4、设x是谓词合式公式A的一个客体变元，A的论域为D，A（x）关于y的自由的，则被称为全称量词消去规则，记为US。5、与非门的逻辑网络为
。
二、选择30（每小题3分）
1、下列各符号串，不是合式公式的有（A、PQR；C、PQR；2、下列语句是命题的有（B、PQRS；D、PQRS。）。）。
A、2是素数；B、x56；C、地球外的星球上也有人；D、这朵花多好看呀！。3、下列公式是重言式的有（）。
A、PQ；B、PQQ；C、QPP；D、PQP4、下列问题成立的有（）。
A、若ACBC，则AB；B、若ACBC，则AB；C、若AB，则AB；5、命题逻辑演绎的CP规则为（A、在推演过程中可随便使用前提；B、在推演过程中可随便使用前面演绎出的某些公式的逻辑结果；C、如果要演绎出的公式为BC形式，那么将B作为前提，设法演绎出C；D、设A是含公式A的命题公式，BA，则可用B替换A中的A。D、若AB，则AB。）。
f6、命题“有的人喜欢所有的花”的r