Consider the two LTL wffs (a) One of these is valid, while the other is just satisfiable. State which is which (b) Draw a model satisfying both wffs. (c) Draw a model satisfying only the valid wff d) Draw a model for the valid wff that is a counterexample for the other wff You do not need actually prove these, as the goal of this problem is to gain an intuition Consider the two LTL wffs (a) One of these is valid, while the other is just satisfiable. State which is which (b) Draw a model satisfying both wffs. (c) Draw a model satisfying only the valid wff d) Draw a model for the valid wff that is a counterexample for the other wff You do not need actually prove these, as the goal of this problem is to gain an intuition