Knowee
Questions
Features
Study Tools

what is the contradiction (in proof by contradiction) in the statement "If A, then B"?

Question

What is the contradiction (in proof by contradiction) in the statement "If A, then B"?

🧐 Not the exact question you are looking for?Go ask a question

Solution

In a proof by contradiction, you start by assuming the opposite of what you want to prove. In the case of the statement "If A, then B", the contradiction would be assuming "If A, then not B".

Here are the steps:

  1. Assume the statement "If A, then B" is false. This means that even though A is true, B is false. This is our assumption for contradiction, often called the negation of the statement.

  2. From this assumption, you would then derive a statement that contradicts either a known fact, or the assumption itself. This could be anything that goes against what we know to be true, or against the assumption we made in step 1.

  3. If such a contradiction is found, then the assumption made in step 1 is false. This means that the original statement "If A, then B" is true.

The contradiction in the statement "If A, then B" would be found in step 2, where a statement is derived that contradicts the assumption made in step 1.

This problem has been solved

Similar Questions

Question No. 14Marks : 1.00    B is true           Neither A nor B is true           Either A or B can be true depending upon situation           A is true

What is the converse statement of "If a number is divisible by 3, then it is divisible by 9."?

The logical connective "IF-THEN" is also known as:a.Conjunctionb.Disjunctionc.Negationd.Implication

True or false? In the body of an indirect proof, you must show that the assumption leads to a contradiction.A.TrueB.FalseSUBMITarrow_backPREVIOUS

Which of the following is a contradiction?(p∧q)∧~(p∨q)p∨(~p∧q)(p⇒q)⇒pNone of these

1/1

Upgrade your grade with Knowee

Get personalized homework help. Review tough concepts in more detail, or go deeper into your topic by exploring other relevant questions.