 If we think of negation in K3 as representing a natural language negation, K3’s “internal”, presupposition-preserving negation \(\osim \) differs from the external, presupposition-cancelling negation \(\neg\) in Bochvar’s three-valued logic B3 by always returning a classical value. The truth function \(f_{\neg}\) is defined by the following table: