Recent content by Shana

Yup, your counterexample works. Thanks. Do you agree that the first is valid?

By the way I think its valid to infer (v)Mv → (v)Pv if (v)(Mv → Pv) is true. I think that it is not valid to infer (v)(Mv → Pv) from (v)Mv → (v)Pv. I would still like somebody to confirm for sure. I am more confident in the one I think is valid than the other. Both of the inferences could...

The first v in the second sentence is supposed to be universally quantified like in the first sentence. It looks like I made a typo and put in some kind of bracket instead of a left parenthesis. You read the first one right, but the second is supposed to be "if for all v, Mv is true, then for...

Can anyone tell me if the universal quantifier distributes over material conditionals in standard first order logic? Does (v)(Mv → Pv) imply {v)Mv -> (v)Pv? Does the implication work the other way too? Thanks.