by ohthatpatrick Wed Nov 15, 2017 2:13 pm
I don't think they were assuming there was a third.
I think the "?" was meant to convey "and maybe a third?"
It's definitely an idiosyncratic choice to symbolize it that way. If you just had
O --> P
~P --> ~O
you're fine