$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?