Discrete Structure (DS) MCQ Questions and answers

A

Admin • 833.24K Points
Coach

Q. ∃ is used in predicate calculus
to indicate that a predicate is true for all members of a
specified set.

(A) TRUE
(B) FALSE
(C) Both a and b
(D) None

A

Admin • 833.24K Points
Coach

Q. ∀ is used in predicate calculus
to indicate that a predicate is true for at least one
member of a specified set.

(A) TRUE
(B) FALSE
(C) Both a and b
(D) None

A

Admin • 833.24K Points
Coach

Q. “If the sky is cloudy then it will rain and it will not rain”

(A) absurdity
(B) contadiction
(C) tautology
(D) none

A

Admin • 833.24K Points
Coach

Q. Represent statement into predicate calculus forms : "Not all birds can fly". Let us assume the following predicates bird(x): “x is bird” fly(x): “x can fly”.

(A) ∃x bird(x) V fly(x)
(B) ∃x bird(x) ^ ~ fly(x)
(C) ∃x bird(x) ^ fly(x)
(D) None

A

Admin • 833.24K Points
Coach

Q. Represent statement into predicate calculus forms : "If x is a man, then x is a giant." Let us assume the following predicates man(x): “x is Man” giant(x): “x is giant”.

(A) ∀ (man(x)→ ~giant(x))
(B) ∀ man(x)→ giant(x)
(C) ∀ (man(x)→ giant(x))
(D) None

A

Admin • 833.24K Points
Coach

Q. Represent statement into predicate calculus forms : "Some men are not giants." Let us assume the following predicates man(x): “x is Man” giant(x): “x is giant”.

(A) ∃x man(x) ^ giant(x)
(B) ∃x man(x) ^ ~ giant(x)
(C) ∃x man(x) V ~ giant(x)
(D) None

A

Admin • 833.24K Points
Coach

Q. Represent statement into predicate calculus forms : There is a student who likes mathematics but not history. Let us assume the following predicates student(x): “x is student.” likes(x, y): “x likes y”. and ~likes(x, y) “x does not like y”.

(A) ∃x [student(x) ^ likes(x, mathematics) ^~ likes(x, history)]Q.
(B) ∃x [student(x) ^Vlikes(x, mathematics) V~ likes(x, history)]Q.
(C) ∃x [student(x) ^ ~likes(x, mathematics) ^likes(x, history)]Q.
(D) None

A

Admin • 833.24K Points
Coach

Q. AUB = (A− B)U(B−A)U(AпB).

(A) FALSE
(B) TRUE
(C) Both a and b
(D) None

A

Admin • 833.24K Points
Coach

Q. [(PVQ)^(P→R)^(Q→S)] → (SVR). Is a….

(A) absurdity
(B) contadiction
(C) tautology
(D) none

A

Admin • 833.24K Points
Coach

Q. ~(x vy) = ~x ^ ~y

(A) FALSE
(B) TRUE
(C) Both a and b
(D) None

Discrete Structure (DS) MCQs with answers Page - 15

Q. ∃ is used in predicate calculus
to indicate that a predicate is true for all members of a
specified set.

Q. ∀ is used in predicate calculus
to indicate that a predicate is true for at least one
member of a specified set.

Q. “If the sky is cloudy then it will rain and it will not rain”

Q. Represent statement into predicate calculus forms : "Not all birds can fly". Let us assume the following predicates bird(x): “x is bird” fly(x): “x can fly”.

Q. Represent statement into predicate calculus forms : "If x is a man, then x is a giant." Let us assume the following predicates man(x): “x is Man” giant(x): “x is giant”.

Q. Represent statement into predicate calculus forms : "Some men are not giants." Let us assume the following predicates man(x): “x is Man” giant(x): “x is giant”.

Q. Represent statement into predicate calculus forms : There is a student who likes mathematics but not history. Let us assume the following predicates student(x): “x is student.” likes(x, y): “x likes y”. and ~likes(x, y) “x does not like y”.

Q. AUB = (A− B)U(B−A)U(AпB).

Q. [(PVQ)^(P→R)^(Q→S)] → (SVR). Is a….

Q. ~(x vy) = ~x ^ ~y

Add MCQ in this Category

Browse Categories

Discrete Structure (DS) MCQs with answers Page - 15

Q. ∃ is used in predicate calculus to indicate that a predicate is true for all members of a specified set.

Q. ∀ is used in predicate calculus to indicate that a predicate is true for at least one member of a specified set.

Q. “If the sky is cloudy then it will rain and it will not rain”

Q. Represent statement into predicate calculus forms : "Not all birds can fly". Let us assume the following predicates bird(x): “x is bird” fly(x): “x can fly”.

Q. Represent statement into predicate calculus forms : "If x is a man, then x is a giant." Let us assume the following predicates man(x): “x is Man” giant(x): “x is giant”.

Q. Represent statement into predicate calculus forms : "Some men are not giants." Let us assume the following predicates man(x): “x is Man” giant(x): “x is giant”.

Q. Represent statement into predicate calculus forms : There is a student who likes mathematics but not history. Let us assume the following predicates student(x): “x is student.” likes(x, y): “x likes y”. and ~likes(x, y) “x does not like y”.

Q. AUB = (A− B)U(B−A)U(AпB).

Q. [(PVQ)^(P→R)^(Q→S)] → (SVR). Is a….

Q. ~(x vy) = ~x ^ ~y

Add MCQ in this Category

Browse Categories

Q. ∃ is used in predicate calculus
to indicate that a predicate is true for all members of a
specified set.

Q. ∀ is used in predicate calculus
to indicate that a predicate is true for at least one
member of a specified set.