由（p,q）是质数，p可以表示为4k＋1的形式，有q∧(2q)≡4k(modp),求（p,q）
两个k是一样的?
举一反三
- 分别指出由下列各组命题构成的“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;。
内容
- 0
构造下列命题的真值表。 （1）¬（P→Q）∧Q。 （2）（P→¬Q）→¬Q。 （3）P→Q∨R。 （4）P↔¬Q。 （5）（（P∨Q）→R）↔S。
- 1
以下程序的运行结果是（ ）。#include[stdio.h] int main() { int k=1, j=2, *p, *q, *t; p = &k; q = &j; t = p; p = q; q = t; printf("%d %d", *p, *q); } A: 2 1 B: 2 2 C: 1 1 D: 1 2
- 2
(1)p→q (2)┐q∨r (3)(┐p∨q)∧((p∧r)→p) (4)(q→r)∧(p→p) A: （1）和（2） B: （1）和（3） C: （2）和（3） D: （2）和（4）
- 3
设有下列公式,请问哪几个是永真蕴涵式?__________. (1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q (4)P∧(P→Q)=>Q (5) ¬(P→Q)=>P (6) ¬P∧(P∨Q)=>¬P
- 4
求下列命题公式的主析取范式、主合取范式、成真赋值、成假赋值。 （1）P∨（Q∧¬R）。 （2）P∨（Q∧R）→P∧Q∧R。 （3）¬（P→Q）∧Q∧R。 （4）（P→Q）→R。 （5）（¬P→Q）→（¬Q∧P）。