由(p,q)是质数,p可以表示为4k+1的形式,有q∧(2q)≡4k(modp),求(p,q)
举一反三
- 分别指出由下列各组命题构成的“p或q”“p且q”“非p”形式的复合命题的真假.(1)p:4+3=7,q:5<4;(2)p:9是质数,q:8是12的约数;(3)p:1∈{1,2},q:{1,2};(4)p:={0},q:.
- 必要条件假言推理的有效式是()1【(p←q)∧『p】→『q2(p←q)∧(q→p)3(p←q)∧(p→q)4【(p←q)∧『p】→『p A: 1 B: 2 C: 3 D: 4
- 6、以下哪个步骤是P⟷Q⇔(﹁P∨Q)∧(﹁Q∨P)等价证明的正确步骤 P⟷Q 1、⇔( P→Q)∧( Q→P) 2、⇔(﹁P∨Q)∧( Q→P) 3、⇔(﹁P∧Q)∨( Q→P) 4、⇔(﹁P∨Q)∨( Q→P) 5、⇔(﹁P∨Q)∧(﹁Q∨P)
- 设P:2是素数,Q:4是素数。命题“2或4是素数,这是不对的”,的符号化表示为【】。 A: P∧Q B: P→Q C: ┐(P∧Q) D: ┐(P∨Q)
- 有以下定义语句int k=2,*p,*q; q=&k;那么给p赋值为q所指向的地址的语句为p=q;。