the choices are okay and error 1 2 3 There are monsters that live in the sea Any

Question

the choices are okay and error

1 2 3 There are monsters that live in the sea Any creature that lives in the sea enjoys water aerobics Therefore, all monsters that live in the sea enjoy water aerobics After each line of your friend's proof, decide whether or not the line follows logically from the previous lines of evidence "okay") or if there is an error in logic ("error"). Any error(s) may come in the either the step or the justification for the corresponding step Let M(a) represent "z is a monster", let S(z) represent "r lives in the sea", let A(z) represent "z enjoys water aerobics". Let the domain for z be the set of all creatures step justification error? premise Choose Vz (S(z) A(z)) M(a) A S(a) S(a)A(a) (M(a) S(a)) A(a) Vz ((M(z)^ S(z))A(x)) 2. premise Choose universal instantiation (using #1) universal instantiation (using #2) modus ponens (using #3 and #4) existential generalization (using #5) 3. Choose 4, Choose 5- Choose $ 6. Choose.

Explanation / Answer

step 1 is okay as there monsters that live in sea

step 2 is okay as all x that live in sea enjoys water aerobic

step 3 justification is wrong as 1 is not true for all x so it will be existential instantisation

step 4 is okay as 2 is true for all x

step 5 justification is wrong it will be Hypothetical Syllogism from following

M(a) ^S(a) imply S(a)

S(a) imply A(a)

so we require one more step too.

step 6 again justification is wrong it is universal generalization

Related Questions

Navigate

• Browse (All)
• Browse T
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.