Exercises 13: Expressive adequacy and DNF - - Logic Matters

Exercises 8: Negation and other connectives. (a) Usually, we can ambiguously negate a statement by prefixing it with 'It is not the case that'.