简答题

下列断言如果是真的证明它们，如果是假的，找出P和Q的解释以证明公式是假。
（a）x（P（x）→Q（x））（xP（x）→xQ（x））
（b）（xP（x）→xQ（x））x（P（x）→Q（x））
（c）（xP（x）→xQ（x））x（P（x）→Q（x））
（d）x（P（x）→Q（x））（xP（x）→xQ（x））

下图表示的偏序集中是格的为哪几个？ 点击查看答案

设集合A={a，b，c}，代数系统G=（{Ø，A}，∪）和H=（{{a，b}，A}，∪）同构的映射是下面哪几个？ （1）f：G→H，f（Ø）={a，b}，f（A）=A. （2）f：G→H，f（{A，B}）=Ø，f（A）=A. （3）f：G→H，f（Ø）=A，f（A）={a，b}. （4）f：G→H，f（A）=Ø，f（{a，b}）=A. 点击查看答案