Premise 1: For all x in D [ (A(x) or B(x)) -> (M(x) or N(x)) ]
Premise 2: There exists an x in D [ A(x) and ~N(x) ]
Solution: There exists an x in D [ B(x) or M(x) ]
Any help is appreciated. Thanks!
Follow Math Help Forum on Facebook and Google+
Now you supply the reasons.
Thanks for your help. I understand all the reasons except the last step how did you get to B(t) or M(t)?
View Tag Cloud