问答题
设A,B都是含命题变项p1,p2,...pn的公式,已知A∧B是矛盾式,能得出A与B都是矛盾式的结论吗?为什么...
问答题设A,B都是含命题变项p1,p2,...pn的公式,已知A∧B是矛盾式,能得出A与B都是矛盾式的结论吗?为什么?
已知p→(p∨q)是重言式,(p→q)∧q是矛盾式,试判断(p→(p∨q))∧((p→q)∧q)及(p∨q)∧...
问答题已知p→(p∨q)是重言式,ㄱ(p→q)∧q是矛盾式,试判断(p→(p∨q))∧(ㄱ(p→q)∧q)及ㄱ(ㄱp∨q)∧p的类型。
求出o运算的单位元和零元(如果存在)
问答题求出o运算的单位元和零元(如果存在)