Page 1 of 1
Problem 11 (10 points): In the lecture, we saw that (40) (see below) is the incorrect FOL translation for All Humans are
Posted: Thu May 12, 2022 1:20 pm
by answerhappygod
- Problem 11 10 Points In The Lecture We Saw That 40 See Below Is The Incorrect Fol Translation For All Humans Are 1 (52.13 KiB) Viewed 33 times
Problem 11 (10 points): In the lecture, we saw that (40) (see below) is the incorrect FOL translation for All Humans are Mammals! Reasoning: (40) makes a stronger claim than 'All Humans are Mammals'. (40) says that everything in the domain is such that it is a Human and it is a Mammal. But we know that 'All Humans are Mammals' is true even when the domain contains humans and non- humans just like our world - so long as all things that are humans are mammals. Therefore, for all x, if x is human, then r is mammal; it follows that (39) is the correct FOL translation Key: H:is human M: is mammal (39) Vz.(Hz + Mx) (40) V.(H x A Mx) Your job is this: (i) From (41) and (42) below, choose one that you think is the correct FOL translation for 'Some Humans are Mammals', and state your choice explicitly. (ii) For the incorrect one, explain why it isn't the correct FOL translation. Make sure your reasoning follows the sample reasoning given above for why (40) isn't a good translation for All Humans are Mammals. (41) 3x.(Hx → Mx) (42) 3.x (H.: A Mx)