adplus-dvertising
61. Is the below statement true for the domain of positive integers ∀p ∃q ( p + q = 7) ?
a. Yes
b. No
c. May be Yes or No
d. Can't Say
Discuss
Answer: (a).Yes

62. Which of the following is a sound rule of inference?
a. q ∧ (p → q) → p
b. p → (p ∨ q)
c. q ∨ (p → q) → p
d. All of the above
Discuss
Answer: (b).p → (p ∨ q)

63. ∀x ∃ y P(x,y) ≡ ∃ y ∀ x P(x,y)
a. Yes
b. No
c. May be Yes or No
d. Can't Say
Discuss
Answer: (b).No

64. Is ∀z S(x,y) a well-formed formula?
a. Yes
b. No
c. May be Yes or No
d. Can't Say
Discuss
Answer: (a).Yes

Page 7 of 7