Discrete Mathematics (3140708) MCQs

MCQs of Propositional Logic

Showing 21 to 30 out of 40 Questions
21.

A statement P is equivalent to _______.

(a)

¬¬P

(b)

PP

(c)

PP

(d)

all of the above.

Answer:

Option (d)

22.
Which of the following equivalences is true?
(a) ˥PQ˥P˥Q
(b) ˥PQ˥P˥Q
(c) ˥PQP˥Q
(d) all of the above.
Answer:

Option (d)

23.
Let G symbolize "is taller than", j1 denotes "Jack", and j2 denotes "Jill". Then the statement translated by Gj1,j2 is ________.
(a) Jill is taller than Jack.
(b) Jack is taller than Jill.
(c) Both (A) and (B).
(d) none of the above.
Answer:

Option (b)

24.
The predicate in a statement "Canada is to the north of the United States." is _________.
(a) Canada
(b) is to the north of
(c) the United States
(d) none of the above
Answer:

Option (b)

25.
In statement function Hx, which denotes "x is mortal", x is ________.
(a) statement variable
(b) function variable
(c) variable
(d) none of the above
Answer:

Option (a)

26.

Which of the following is not a statement function?

(a)

x2+2=5

(b)

x+1=0

(c)

x2-1=x+1x-1

(d)

none of the above

Answer:

Option (c)

27.
Any occurrence of x in x-bound part of a formula is called ________.
(a) bound occurrence of x.
(b) free occurrence of x.
(c) Both (A) and (B).
(d) none of the above.
Answer:

Option (a)

28.
in xPxyRx,y, the scope of the quantifier y is _________.
(a) PxyRx,y
(b) Rx,y
(c) Px
(d) none of the above.
Answer:

Option (b)

29.
In xPx,y, occurrence of x and y respectively are ____________.
(a) bound and free
(b) free and bound
(c) bound
(d) free
Answer:

Option (a)

30.

If truth value of statement P is T and statement Q is F then the truth value of (¬P¬Q)P is ________.

(a)

T

(b)

F

(c)

T or F

(d)

none of the above

Answer:

Option (a)

Showing 21 to 30 out of 40 Questions