One anomaly in thinking of 'p' as the denial of '~p' is that while it is immediately clear that it must be the case that one of the two is true. It is not immediately clear that this disallows them from being jointly true. However, it is immediately clear that this disallows, the denial of each, i.e.,'~p' and '~~p', from being jointly true. Alex Blum