“Parul is out for a trip or it is not snowing” and “It is snowing or Raju is playing chess” imply that __________(a) Parul is out for trip(b) Raju is playing chess(c) Parul is out for a trip and Raju is playing chess(d) Parul is out for a trip or Raju is playing chessI have been asked this question in semester exam.The above asked question is from Logics topic in portion The Foundation: Logics and Proofs of Discrete Mathematics

“Parul is out for a trip or it is not snowing” and “It is snowin

1.	“Parul is out for a trip or it is not snowing” and “It is snowing or Raju is playing chess” imply that __________(a) Parul is out for trip(b) Raju is playing chess(c) Parul is out for a trip and Raju is playing chess(d) Parul is out for a trip or Raju is playing chessI have been asked this question in semester exam.The above asked question is from Logics topic in portion The Foundation: Logics and Proofs of Discrete Mathematics
Answer» Correct CHOICE is (d) Parul is out for a trip or Raju is playing chess For EXPLANATION I WOULD say: LET P be “It is snowing,” q be “Parul is out for a trip,” and r the proposition “Raju is playing chess.” The hypotheses as ¬p ∨ q and p ∨ r, respectively. Using resolution, the proposition q ∨ r is, “Parul is out for a trip or Raju is playing chess.”

Discussion

No Comment Found

Related InterviewSolutions

A proof broken into distinct cases, where these cases cover all prospects, such proofs are known as ___________(a) Direct proof(b) Contrapositive proofs(c) Vacuous proof(d) Proof by casesThis question was addressed to me in my homework.I want to ask this question from Types of Proofs in chapter The Foundation: Logics and Proofs of Discrete Mathematics
Which of the arguments is not valid in proving sum of two odd number is not odd.(a) 3 + 3 = 6, hence true for all(b) 2n +1 + 2m +1 = 2(n+m+1) hence true for all(c) All of the mentioned(d) None of the mentionedThe question was asked in a job interview.This question is from Types of Proofs topic in portion The Foundation: Logics and Proofs of Discrete Mathematics
A theorem used to prove other theorems is known as _______________(a) Lemma(b) Corollary(c) Conjecture(d) None of the mentionedI have been asked this question in an online quiz.This question is from Types of Proofs in chapter The Foundation: Logics and Proofs of Discrete Mathematics
A proof that p → q is true based on the fact that q is true, such proofs are known as ___________(a) Direct proof(b) Contrapositive proofs(c) Trivial proof(d) Proof by casesI have been asked this question in class test.This interesting question is from Types of Proofs in chapter The Foundation: Logics and Proofs of Discrete Mathematics
A proof covering all the possible cases, such type of proofs are known as ___________(a) Direct proof(b) Proof by Contradiction(c) Vacuous proof(d) Exhaustive proofThe question was posed to me in examination.This interesting question is from Types of Proofs topic in division The Foundation: Logics and Proofs of Discrete Mathematics
In proving √5 as irrational, we begin with assumption √5 is rational in which type of proof?(a) Direct proof(b) Proof by Contradiction(c) Vacuous proof(d) Mathematical InductionThis question was posed to me in class test.This key question is from Types of Proofs in chapter The Foundation: Logics and Proofs of Discrete Mathematics
Let the statement be “If n is not an odd integer then sum of n withsome notodd numberwill not be odd.”, then if P(n) is “n is an not an odd integer” and Q(n) is “sum of n with some notodd number will not be odd.” A proof by contraposition will be ________(a) ∀nP ((n) → Q(n))(b) ∃ nP ((n) → Q(n))(c) ∀n~(P ((n)) → Q(n))(d) ∀n(~Q ((n)) → ~(P(n)))This question was addressed to me in class test.This intriguing question comes from Types of Proofs topic in chapter The Foundation: Logics and Proofs of Discrete Mathematics
When to proof P→Q true, we proof P false, that type of proof is known as ___________(a) Direct proof(b) Contrapositive proofs(c) Vacuous proof(d) Mathematical InductionI have been asked this question at a job interview.Enquiry is from Types of Proofs topic in portion The Foundation: Logics and Proofs of Discrete Mathematics
Let the statement be “If n is not an odd integer then square of n is notodd.”, then if P(n) is “n is an not an odd integer” and Q(n) is “(square of n) is not odd.” For direct proof we should prove _________(a) ∀nP ((n) → Q(n))(b) ∃ nP ((n) → Q(n))(c) ∀n~(P ((n)) → Q(n))(d) ∀nP ((n) → ~(Q(n)))The question was posed to me in semester exam.My enquiry is from Types of Proofs in division The Foundation: Logics and Proofs of Discrete Mathematics
Which of the following can only be used in disproving the statements?(a) Direct proof(b) Contrapositive proofs(c) Counter Example(d) Mathematical InductionThe question was posed to me at a job interview.The question is from Types of Proofs topic in division The Foundation: Logics and Proofs of Discrete Mathematics

Discussion

No Comment Found

Related InterviewSolutions

Reply to Comment