Homework on §1.2--assigned Mon 8/29 and due Wed 8/31

Give two definitions of the claim of entailment ϕ, ψ, χ ⇒ θ in terms of truth values and possible worlds—one in negative form and the other in positive form.