prve 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)

asked by guest
on Nov 16, 2024 at 5:48 pm



Mathbot Says...

I wasn't able to parse your question, but the HE.NET team is hard at work making me smarter.


+ Submit Question