282 Chapter 7. Logical Agents a. Show that the clause (—Ti V is

282 Chapter 7. Logical Agents a. Show that the clause (—Ti V is