# Linked Questions

11 questions linked to/from Are proofs by contradiction really logical?
8answers
7k views

### In a proof by contradiction, what if both the proposition and its negation lead to contradictions? [duplicate]

I'm learning math. I've recently thought more about the proof by contradiction technique, and I have a question that I would like cleared up. Let me set the stage. Suppose I am trying to prove a ...
3answers
69 views

### Proof by contradiction, status of initial assumption after the proof is complete. [duplicate]

First of all I'd like to say that I have looked for the answers to my specific question and have not found it in the existing topics. The question is fairly simple. Say, we need to prove statement P ...
8answers
7k views

### Does mathematics become circular at the bottom? What is at the bottom of mathematics? [duplicate]

I am trying to understand what mathematics is really built up of. I thought mathematical logic was the foundation of everything. But from reading a book in mathematical logic, they use "="(equals-sign)...
2answers
5k views

### Can proof by contradiction 'fail'?

I am familiar with the mechanism of proof by contradiction: we want to prove $P$, so we assume $¬P$ and prove that this is false; hence $P$ must be true. I have the following devil's advocate ...
5answers
3k views

### In a proof by contradiction, how do we know the assumption is the cause of the contradiction?

In a proof by contradiction, how do we know the assumption is the cause of the contradiction? And not just the result of some other property more fundamental to numbers? In other words, how can we ...
3answers
230 views

### Are there important situations where we study false statements as if they were true?

I know of two situations resulting from asserting that a false mathematical statement is true (by this we assume that the statement has been made to be a mathematical axiom and that it must be true ...
4answers
551 views

### If supposing that a statement is false gives rise to a paradox, does this prove that the statement is true?

The title pretty much says it all: If supposing that a statement is false gives rise to a paradox, does this prove that the statement is true? Edit: Let me attempt to be a little more precise: ...
4answers
698 views

### Prove that $\lnot (p \implies q)$ is equivalent to $p \land \lnot q$?

By equivalent I mean the biconditional, as in $$\lnot (p \implies q) \iff p \land \lnot q$$ Given the definition of implication, I understand why this is true, but I need a bit of help showing this ...
2answers
86 views

### Lack of implication and logical quantifiers

After some botched attempts at formulating my question correctly, I stopped trying to simplify it and just ask straight out. Here's the situation. We have a statement that we're trying to prove: ...
1answer
56 views

### Proving the contradiction/negation of a statement

Is proving the contradiction and proving the negation the same thing? Proving it true is proving the original statement false and proving it's false proves the statement is true? So if a statement is ...
1answer
51 views

### 2 column proof - m ^ [(m^s)->r]^~r=>~s

A whale is a mammal (m). If a whale is a mammal and a spider has six legs (s), then a frog is a reptile (r). But, a frog is not a reptile. Therefore, a spider does not have six legs. Work: ...