将A中符号∧，∨，1，0分别改换为∨，∧，0，1后所得的公式A*，称A*为A的对偶式。

A. 对
B. 错

确定下列集合的幂集合。⑴ía,bý⑵íía,íb,cýýý⑶íía,bý,ía,cýý⑷P(Æ)⑸P(P(Æ))

设A=íÆý，B=P(P(A))，回答下列问题。⑴ÆÎB?⑵ÆÍB?⑶íÆýÎB?⑷íÆýÍB?⑸ííÆýýÎB?⑹ííÆýýÍB?

设A=ía,bý，B=í1,2,3ý，求：A×B，B×A，A×A，B×B和(A×B)∩( B×A)。

设A=í1,2,3ý，A上二元关系定义为：R=í<1,1>,<1,2>,<1,3>,<3,3>ýS=í<1,1>,<1,2>,<2,1>,<2,2>,<3,3>ýT=í<1,1>,<1,2>,<2,2>,<2,3>ýÆ(空关系)A×A(全域关系)判断上述关系是否是⑴自反的，⑵对称的，⑶传递的，⑷反对称的。

设A=í1,2,3,4ý，A上的等价关系R为：R=í<1,4>,<4,1>,<2,3>,<3,2>ý∪IA求自然映射f：A→A/R

用符号形式写出下列命题。⑴假如上午不下雨，我去看电影，否则就在家里读书或看报。⑵我今天进城，除非下雨。⑶仅当你走，我将留下。

构造下列命题公式的真值表，并求成真赋值和成假赋值。⑴q∧(p→q)→p

1.用真值表或等价演算判断下列命题公式的类型。⑴(p∨Øq)→qÛØ(p∨Øq)∨q （条件等价式）Û(Øp∧q)∨q （德·摩根律）Ûq （可满足式）

p∧(p→q)Þq证明：作(p∧(p→q))→q的真值表，如表1.54所示。由以上真值表可知：(p∧(p→q))→q是一个永真式，所以p∧(p→q)Þq