问答题
求130与450的最大公因子，并将它表示成130和450的线性组合，即求x和y使得gcd（130，450）=1...
问答题求130与450的最大公因子，并将它表示成130和450的线性组合，即求x和y使得gcd（130，450）=130x+450y。
设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的类型。
