Use rules of inference to show that if and arc true, then is also true, where the domains of al I quantifiers are the same.
We need at least 10 more requests to produce the solution.
0 / 10 have requested this problem solution
The more requests, the faster the answer.