COMP 543 001 Quiz 4

In class, I asserted that  is the same as , where and are predicates. That is, you can "not" or "negate" a predicate that is itself a conjunction of predicates by distributing the "not" over the inn...