Skip to content

Latest commit

 

History

History
13 lines (8 loc) · 564 Bytes

question.md

File metadata and controls

13 lines (8 loc) · 564 Bytes

Consider the following sentence:
$$[ ({Food} {:;{\Rightarrow}:;}{Party}) \lor ({Drinks} {:;{\Rightarrow}:;}{Party}) ] {:;{\Rightarrow}:;}[ ( {Food} \land {Drinks} ) {:;{\Rightarrow}:;}{Party}]\ .$$

  1. Determine, using enumeration, whether this sentence is valid, satisfiable (but not valid), or unsatisfiable.

  2. Convert the left-hand and right-hand sides of the main implication into CNF, showing each step, and explain how the results confirm your answer to (a).

  3. Prove your answer to (a) using resolution.