- #1

- 4

- 0

- Thread starter Shana
- Start date

- #1

- 4

- 0

- #2

HallsofIvy

Science Advisor

Homework Helper

- 41,833

- 956

For example, if M is "gets an A on every tests" and P is "gets an A for the course", your first statement is "If any student in the class gets an A on every test, then he/she will get an A for the course" while the second statement says "If any student in the class gets an A on every test, then every student in the class will get an A for the course". Not at all the same!

I'm not sure what you meant by "does the implication work the other way". Certainly M-> P is NOT the same as P->M. "If it rains today, I will take my umbrella" does not imply "if I take my umbrella it will rain today".

- #3

- 4

- 0

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 all v, Pv is true". All of the quantifiers are universal, none are existential.

Let me try to explain better. If (v)(Mv → Pv) is true, can you infer (v)Mv → (v)Pv? If (v)Mv → (v)Pv is true, can you infer (v)(Mv → Pv)?

Let me try to explain better. If (v)(Mv → Pv) is true, can you infer (v)Mv → (v)Pv? If (v)Mv → (v)Pv is true, can you infer (v)(Mv → Pv)?

Last edited:

- #4

- 4

- 0

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 be valid.

Last edited:

- #5

- 695

- 2

- #6

- 4

- 0

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

- #7

- 695

- 2

For any set, let S be the subset of v's for which Mv is true. Now, since (v)(Mv -> Pv), for each element in S you can apply 'modus ponens' and get Pv true for all v in S. In particular, if (v)Mv is true then S is the whole set.

P.S.: That is to say, "yes". :)

P.S.: That is to say, "yes". :)

Last edited:

- Replies
- 12

- Views
- 2K

- Last Post

- Replies
- 3

- Views
- 2K

- Last Post

- Replies
- 4

- Views
- 7K

- Last Post

- Replies
- 7

- Views
- 2K

- Last Post

- Replies
- 4

- Views
- 1K

- Replies
- 6

- Views
- 1K

- Last Post

- Replies
- 10

- Views
- 941

- Last Post

- Replies
- 4

- Views
- 1K

- Replies
- 26

- Views
- 4K

- Last Post

- Replies
- 4

- Views
- 2K