When we conclude from p ∨ q and ~ p to q the relation between the forms of the propositions “ p ∨ q ” and “ ~ p ” is here concealed by the method of symbolizing. But if we write, e.g. instead of “ p ∨ q ” “
5.1311
356
When we conclude from p ∨ q and ~ p to q the relation between the forms of the propositions “ p ∨ q ” and “ ~ p ” is here concealed by the method of symbolizing. But if we write, e.g. instead of “ p ∨ q ” “