$A \Longrightarrow \tilde A$ is always false? Tautology problem?

Question

$A \Longrightarrow \tilde A$ is always false? So here's what I did:

I did the contrapositive $\tilde(\tilde A) = A \Longrightarrow \tilde A$ So by contrapositive, I also get $A$ implies $\tilde A$. I also did a truth table. But I don't get a tautology or contradiction. So it can't always be false. Correct?

The statement $A\implies\neg A$ is satisfiable when $A$ is false. — , Mar 06 '14 at 18:29
Truth table shows that the sentence $A\implies B$ is true whenever $A$ is false. Replace $B$ by $\bar{A}$. You are right, the sentence is not always false. — André Nicolas, Mar 06 '14 at 18:29
Note that the contraositive manipulation does not show that the sentence is sometimes true. — André Nicolas, Mar 06 '14 at 18:33

score 1 · Answer 1 · answered Mar 06 '14 at 18:31

1

No, it isn't always false. Suppose $A$ is false, so $\tilde A$ is true. Then "$A\implies\tilde A$" is true; any implication with a false protasis is always a truth ("if the moon is made of blue cheese, then pigs can fly" is a true statement).

answered Mar 06 '14 at 18:31

MPW

43,638

score 1 · Answer 2 · answered Mar 06 '14 at 18:33

1

No, $A \rightarrow \lnot A$ is not always false.

It is simply :

$\lnot A$.

answered Mar 06 '14 at 18:33

Mauro ALLEGRANZA

94,169

score 1 · Answer 3 · edited Mar 06 '14 at 18:39

1

$A \rightarrow \neg A$ is equivalent to $\neg A \vee \neg A$ which is equivalent to $\neg A$

$(A \rightarrow \neg A) \Leftrightarrow \neg A$

Another way to see it is that the original formula is false if $\neg A$ is true but $A$ isn't. This is when $A$ is false.

edited Mar 06 '14 at 18:39

Mauro ALLEGRANZA

94,169

answered Mar 06 '14 at 18:34

Syd Kerckhove

705

user76568 · Answer 4 · 2014-03-06T18:48:55.190

1

It can seem confusing (It did to me at the time), because you might mistakenly $assert$ $A$ when you look at $A \to \lnot A$ without noticing ;-)

edited Mar 06 '14 at 18:48

answered Mar 06 '14 at 18:34

user76568

4,542

When you says "$A \rightarrow B$" you are not asserting $A$ : you are asserting the conditional "if $A$, then $B$" ... – Mauro ALLEGRANZA Mar 06 '14 at 18:41
@MauroALLEGRANZA I know that. I'm just saying this could be a source for confusion. – user76568 Mar 06 '14 at 18:45

$A \Longrightarrow \tilde A$ is always false? Tautology problem?

4 Answers4