Intuitionistic logic rejects classical truth-value bivalence, so 'p is false' cannot be assumed when...