Using the set axioms as examples, write axioms for the list domain, including all the constants, functions, and predicates mentioned in the chapter. Exercise 8.20 Using the set axioms as examples, write axioms for the list domain, including all the constants, functions, and predicates mentioned in the chapter. Community Solution Student Answers Submit Solution Your Display Name Email Solution Submit