1 symbolize the following argument 2 establish its validity by a proof and 3 quot evaluate quot the argument as well