A、P∨q;
B、P∧q;
C、P←q;
D、P←→q。
第1题:
当p→q、q→p和﹁p∨﹁q三个公式均真时,下列公式取值为真的是
A.p→﹁q
B.﹁p→q
C.q→﹁p
D.p↔ q
E.﹁p∧﹁q
第2题:
当p→q、q→p和﹁p∨﹁q三个公式均真时,下列公式取值为真的是()
A.p→﹁q
B.﹁p→q
C.q→﹁p
D.p↔ q
E.﹁p∧﹁q
第3题:
当p→﹁q 取值为假时,下列形式中取值为真的有()
A.p→q
B.p←q
C.p∧q
D.p←→q
第4题:
当p∨﹁q和p↔q仅有一真时,则下列命题形式为真的是
A.p∧q
B.p∧﹁q
C.﹁p∧q
D.﹁p∧﹁q
第5题:
当P为假,Q为假时,下列谓词逻辑取值为真的是()。
A.P⋀Q
B.P⋁Q
C.P→Q
D.P↔Q