Use rules of inference to show that if the premises
Chapter 1, Problem 1.31(choose chapter or problem)
Use rules of inference to show that if the premises Vx(P(x) --+ Q(x , Vx(Q(x) --+ R(x , and -.R(a), where a is in the domain, are true, then the conclusion -'P (a) is true.
Unfortunately, we don't have that question answered yet. But you can get it answered in just 5 hours by Logging in or Becoming a subscriber.
Becoming a subscriber
Or look for another answer