Predicate logic truth tree. They systematically select all and only those truth value assignments in which each sentence in...