Find a counterexample of ∀x∀y(xy > y), where the domain for all variables consists of all integers.(a) x = -1, y = 17(b) x = -2y = 8(c) Both x = -1, y = 17 and x = -2y = 8(d) Does not have any counter exampleThe question was posed to me in an online quiz.I need to ask this question from Logics topic in division The Foundation: Logics and Proofs of Discrete Mathematics

Find a counterexample of ∀x∀y(xy > y), where the domain for all va

1.	Find a counterexample of ∀x∀y(xy > y), where the domain for all variables consists of all integers.(a) x = -1, y = 17(b) x = -2y = 8(c) Both x = -1, y = 17 and x = -2y = 8(d) Does not have any counter exampleThe question was posed to me in an online quiz.I need to ask this question from Logics topic in division The Foundation: Logics and Proofs of Discrete Mathematics
Answer» CORRECT choice is (c) Both X = -1, y = 17 and x = -2y = 8 For explanation: Putting x=-1, y=17; -17>17 which is wrong. Putting x=-2, y=8; -16>8 which is wrong.

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