Thus in Russell’s notation also it appears evident that “ q : p ∨ ~ p ” says the same thing as “ q ”; that “ p ∨ ~ p ” says nothing.