Discrete Mathematics (3140708) MCQs

MCQs of Propositional Logic

Showing 31 to 30 out of 40 Questions
31.

consider the statements P: mark is rich. and Q: Mark if happy. Then the symbolic form of the statement "Mark is poor or he is both rich and unhappy" is _______.

(a)

¬P∨P∧¬Q

(b)

P∨¬P∧¬Q

(c)

¬P∨¬P∧Q

(d)

none of the above

Answer:

Option (a)

32.

Given the truth values of P and Q as T and those of R and S as F, the truth value of (P⇄R)∧(¬Q→S) is _______.

(a)

T

(b)

F

(c)

T or F

(d)

none of the above

Answer:

Option (b)

33.

In P→Q (P conditional Q), the statement Q is called _______.

(a)

antecedent

(b)

consequent

(c)

quantifier

(d)

none of the above

Answer:

Option (b)

34.

If p:product is good. and q:service is good. then the symbolic form of "either product is good or service is good but not both." is _______.

(a)

(p∨q)∧¬(p∧q)

(b)

(p∨q)∨¬(p∧q)

(c)

(p∧q)∧¬(p∨q)

(d)

(p∨q)∧¬(p∨q)

Answer:

Option (a)

35.

Which of the following is not a well-formed formula?

(a)

(P→(P∨Q))

(b)

((¬Q∧P)∧Q)

(c)

((¬P→Q)→(Q→P)))

(d)

((P∧Q)⇆P)

Answer:

Option (c)

36.

If the final column of the truth table for any statement formula contain truth values true and false both then statement formula is called _______.

(a)

tautology

(b)

contradiction

(c)

both tautology and contradiction

(d)

none of the above

Answer:

Option (d)

37.

The formulas A and A* are said to be ________ of each other if either one can be obtained from the other by replacing T by F and F by T.

(a)

equivalents

(b)

duals

(c)

contradicts

(d)

tautological implications

Answer:

Option (b)

38.

x2+1=0 is a statement function for universe of _______.

(a)

real numbers

(b)

complex numbers

(c)

rational numbers

(d)

none of the above

Answer:

Option (b)

39.

Let Cx: x is a cat. Ax: x is an animal. and E={cuddle, ginger, 0, 1}, where first two elements are name of cats. Then, which of the following is true over E?

(a)

xCx→Ax

(b)

xCx∧Ax

(c)

xCx∨Ax

(d)

none of the above

Answer:

Option (a)

40.

In xPx∧∃xQx∨Px→Qx the scope of the quantifier x is _______.

(a)

Px∧∃xQx∨Px→Qx

(b)

Px∧∃xQx

(c)

Px

(d)

none of the above

Answer:

Option (b)

Showing 31 to 30 out of 40 Questions