prove that
for all x [P(x) or Q(x)]
for all x [not Q(x) or S(x)]
for all x [R(x) implies not S(x)]
there exist x not P(x)/therefore, there exist x not R(x)
Mathbot Says...
I wasn't able to parse your question, but the HE.NET team is hard at work making me smarter.