Assignment 5

All are parts from the exercises in page 110, but with the added requirements.
  1. 5.1 (a), provide a falsifying model as well as the reduction to ordered MCNF (form given as answer in text).
  2. 5.1 (g). Reduce to ordered MCNF, then test for validity. If valid, also show a proof in S5 (line by line, Hilbert-style); if invalid, provide a falsifying model.
  3. 5.1 (h), show the reduction to ordered MCNF (the form is given as an answer in the text), then show a proof in S5.