Ask your own question, for FREE!
Mathematics 18 Online
OpenStudy (anonymous):

what is the intuitive meaning of ∀y(P0(x)→P1(y)) ?

OpenStudy (anonymous):

It means for all values of y, PO(x) tends to P1(y). PO and P1 are some functions

OpenStudy (anonymous):

"tends to"? this is a question from a logic course (now dealing with propsitional logic)

OpenStudy (anonymous):

in predicate logic (P0(x)→P1(y)) would mean "P1 if P0", but I don't get how the universal quantifier ∀y changes things

OpenStudy (amistre64):

-> in logic means "implies"

OpenStudy (anonymous):

|dw:1363793021744:dw| Which assignment satisfies the given formula in the below unary structure?

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!