Jethro_T 194 Report post Posted October 1, 2010 Yes, this is homework but I'm not just dropping a bunch of questions and asking for answers. I'm looking to learn how to solve this type of problem so I can do the rest myself.¬∀y : ((∃x : P(x,y)) ∨ (∀x : ¬Q(x,y)))The goal is to rewrite the proposition so that the negations occur only within the predicates. I've been reading through my textbook but I still don't even know where to start with this one. Can someone help?I'm not sure what the policy on homework is here but I know that people typically look down on people who ask homework related questions. Hopefully it's not a big deal, I'm willing to actually learn and I don't have this class again until Wednesday.[Edited by - Jethro_T on October 1, 2010 11:32:57 PM] 0 Share this post Link to post Share on other sites
Steve_Segreto 2080 Report post Posted October 2, 2010 Instead of writing the logic out symbolically, try rewriting the expression using English.btw what is the ':' symbol? Did you mean to write the implication operator ('->')? 0 Share this post Link to post Share on other sites
Jethro_T 194 Report post Posted October 2, 2010 I'm drunk right now, try it tomorow. I think I tried converting to enlgisj. Btw, the professor always uses that ":" but my TA always omits it, so no, I didn't mean to use the implication operator. Basically, ignore it I guess. I'll try this stuff tomorow. 0 Share this post Link to post Share on other sites
Jethro_T 194 Report post Posted October 2, 2010 For all values of y, ((∃x : P(x,y)) ∨ (∀x : ¬Q(x,y))) is falseThere exists atleast one value for x such that P(x, y) is trueORfor all values of x, ¬Q(x,y) is trueI don't really know how to take this any farther. 0 Share this post Link to post Share on other sites
Concentrate 181 Report post Posted October 2, 2010 >>¬∀y : ((∃x : P(x,y)) ∨ (∀x : ¬Q(x,y))Translates to : NOT FOREACH y, there exist an x such that P(x,y) is true OR FOREACH x NOT Q(x,y) is trueHint 1) !∀ = ∃Hint 2) Use Demorgans law 0 Share this post Link to post Share on other sites