[Solved]: How to read out a double negation in propositional logic

Problem Detail: 

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!

Asked By : Kye

Answered By : D.W.

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.

Best Answer from StackOverflow

Question Source : http://cs.stackexchange.com/questions/57295