5
$\begingroup$

How would one verbally say ~~R where R = my program is correct? The tildes are negation symbols. I'm not sure if it just cancels out and comes out as 'my program is correct' or if it's something else.

Thank you!

$\endgroup$
13
$\begingroup$

One way to pronounce "~" is as "not", so one could pronounce that as "not not R".

But frankly, pronouncing complex logic formulas can be ugly, and often it's better to just write it on a whiteboard or piece of paper and point.

Yes, ~~R is equivalent to R.

$\endgroup$
22
$\begingroup$

The answer by @D.W. is valid in classical logic, however if you are on the intuitionistic side, then you can't eliminate double negation (~~).

I'd read the formula as 'It is not true that my program is not correct'.

$\endgroup$
  • 4
    $\begingroup$ Or, in a more natural English way, "my program is not incorrect" $\endgroup$ – jmite May 11 '16 at 0:59
  • 1
    $\begingroup$ +1 for going beyond classical/binary. the world is definitely not just true and false. $\endgroup$ – Mzn May 11 '16 at 4:24
  • 5
    $\begingroup$ @Mzn the second negation is implicit in the word "incorrect", which means "not correct". $\endgroup$ – jmite May 11 '16 at 4:37
  • 2
    $\begingroup$ @Mzn, if I'm not mistaken, you are misinterpreting Intuitionist logic: it does not posit a third truth value, but rather defers assigning one of two truth values until proof. $\endgroup$ – brianpck May 11 '16 at 15:09
  • 2
    $\begingroup$ @Mzn, I don't know enough about intuitionist logic to answer your question, but here's one thing that occurred to me: if we wish to call "~~R" a third state (rather than the absence of a state), then we are likewise forced to call ~~~R a fourth state, ~~~~R a 5th, etc. ad infinitum. $\endgroup$ – brianpck May 12 '16 at 14:23

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.