Disproving a statement by showing that its negation doesn’t lead to a contradiction

logicproof-writingpropositional-calculus

Proof by contradiction (or the contradiction rule in logic) uses the first row of the following truth table to assert that if $¬p\Rightarrow{}\textbf{c}$ is true, then $p$ is true:

$p$ $¬p$ $\textbf{c}$ $¬p\Rightarrow{}\textbf{c}$ $(¬p\Rightarrow{}\textbf{c})\Rightarrow{}p$
T F F T T
F T F F T

(let $\textbf{c}$ and $\textbf{t}$ denote a contradiction and tautology respectively)

What I have not seen discussed anywhere is that the second row shows that when $¬p\Rightarrow{}\textbf{c}$ is false, $p$ is false. The potential validity of this argument is further hinted by the equivalence $(¬p\Rightarrow{}\textbf{c})\equiv(p\vee{}\textbf{c})\equiv{p}$, which means $(¬p\Rightarrow{}\textbf{c})\iff{p}$. Is it possible to use this argument form, that is, to show that $¬p\Rightarrow{}\textbf{c}$ is false and conclude that $p$ is false? (opposite of the proof by contradiction, which concludes $p$ is true.)

I feel that this argument form is not completely logical/practical, but I am not 100% why. My guess is that you would have to show $¬p$ does not lead to any contradictions, which is not practical as you would have to cover all (infinite) cases. Or you could show that $¬p$ leads to a tautology, but suddenly I'm not sure how any statement implies a tautology. Any help that would point me in the right direction is appreciated!

Best Answer

$$(¬p\Rightarrow{}\textbf{c})\equiv{p}$$

Also: $\quad(\lnot p{\kern.6em\not\kern-.6em\implies}\bot)\;\equiv\;(\lnot p\land\lnot \bot)\;\equiv\;(\lnot p\land\top)\;\equiv\;\lnot p.$

To conclude that $p$ is false,

is it possible to show that $(¬p\Rightarrow{}\textbf{c})$ is false?

This requires establishing that the antecedent $¬p$ is true (since a false antecedent automatically makes the implication true).

My guess is that you would have to show that $¬p$ does not lead to any contradictions

This also requires establishing that the antecedent $¬p$ is true (since a false antecedent can always lead to a contradiction).

But $¬p$ being true directly means that $p$ is false, without going through the above detours.

Or you could show that $¬p$ leads to a tautology

This does not entail that $p$ is false; for example: $¬(A\lor\lnot A)\implies\top.$

I feel that my argument is not completely logical

Summary: your proposal to disprove $p$ by showing that $\lnot p$ leads to no contradiction is not illogical—merely a circuitous way of disproving $p$ by proving $\lnot p.$