6
$\begingroup$

I'm looking for a way to express A being true does not imply B. I know that A implies B can be written as $A \rightarrow B$, but what about A does not imply B? $A \not\rightarrow B$?

$\endgroup$
  • 2
    $\begingroup$ Simply write $A\land\neg B$, though that is probably not what you are after. I think you want something like "$p$ is prime does not imply in general that $p$ is odd", right? $\endgroup$ – Hagen von Eitzen Nov 17 '12 at 17:38
  • $\begingroup$ May be this link help you ftp.dante.de/tex-archive/info/symbols/comprehensive/… $\endgroup$ – mrs Nov 17 '12 at 17:40
  • $\begingroup$ @BabakSorouh That tells me how to write the symbol in LaTeX, but not what the symbol means (except possibly by its name). $\endgroup$ – gerrit Nov 17 '12 at 17:56
  • 1
    $\begingroup$ @HagenvonEitzen Yes, it's the latter I'm after. $\endgroup$ – gerrit Nov 17 '12 at 17:57
  • 1
    $\begingroup$ I just came here to learn to write $can \nRightarrow should$ $\endgroup$ – Ben May 2 '17 at 19:50
6
$\begingroup$

If you use a generic $\to$ or $\Rightarrow$ for imply then slash through for the not-imply.

But you can perhaps do better. If you actually mean syntactic entailment (so non-implication is a matter of there being no proof from $A$ to $B$ in the relevant proof system) then $A \nvdash B$ is available and absolutely standard.

If you actually mean semantic entailment (so non-implication is a matter of there being a valuation which makes $A$ true without making $B$ true) then $A \nvDash B$ is available and quite standard.

$\endgroup$
  • $\begingroup$ Is there a way to formulate $A \nvdash B$ with just and's, or's, and not's? $\endgroup$ – Matt Sep 14 '16 at 19:19
4
$\begingroup$

Usually, we use double arrows for implications: $A\Rightarrow B$. You can use a crossed out double arrow for does not imply: $A\nRightarrow B$. In LaTeX, these are "\Rightarrow" and "\nRightarrow", respectively.

$\endgroup$
  • $\begingroup$ I would usually see single arrow $A \rightarrow B$ and negation $A \nrightarrow B$. $\endgroup$ – Andrew Wonnacott May 23 at 21:04

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.