lov6 beefed up

[Predrag Punosevac]

One would think that guy who claims to have a PhD in mathematics knows that

$$\lnot \lnot p  \Leftrightarrow p$$

:-)

Predrag

P.S. The grammatical error I made is the artifact of my mother Serbian
tongue where double negation is perfectly correct way to express a
negation. Funny enough if George Boole was Serbian the following

$$\lnot \lnot p  \Leftrightarrow \lnot p$$

would have been tautologi instead of the above.  Such propositional
calculus can be made perfectly logically consistent just like the one
we use as proved by mathematicians :-)


On Tue, Jan 8, 2019 at 5:08 PM Jayanth Koushik <jkoushik at andrew.cmu.edu> wrote:
>
> > can’t not be upgraded further
> so it can? ;-)