Use resolution to determine if the following arguments in the predicate logic ar

Q: Use resolution to determine if the following arguments in the predicate logic ar

A) We can resolve third and fourth statement as Jing Jong is not an italian mother and One of them has to be italian mother So connie is an italian mother and all italian mothers are cook.All Cooks are healthy. Hence connie is healthy. Therefore the given statement is valid B) Someone at college drinks tea and is strong but this doesnot entail that eveyone drinks tea and hence the statement inferred is not valid

ID: 3740841 • Letter: U

Question

Use resolution to determine if the following arguments in the predicate logic are valid. Use the predicates suggested A. Al Italian mothers can cook. (M, C) All cooks are healthy. (H) Either Connie or Jing Jing is an Italian mother. Jing Jing is not an Italian mother. Therefore, Connie is healthy B. Anyone who drinks green tea is strong. (T, S) Anyone who is strong takes vitamins. (V) Someone at City College drinks green tea. (C) Therefore, everyone at City College drinks green tea and is strong

Explanation / Answer

We can resolve third and fourth statement as Jing Jong is not an italian mother and One of them has to be italian mother So connie is an italian mother and all italian mothers are cook.All Cooks are healthy.

Hence connie is healthy.

Therefore the given statement is valid

Someone at college drinks tea and is strong but this doesnot entail that eveyone drinks tea and hence the statement inferred is not valid

Navigate

Use representations [A] through [I] in figure P6.16 to answer questions a-f. 272

Use role stereotype to help focus on object responsibilities Information holder

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

Use resolution to determine if the following arguments in the predicate logic ar

Question

Explanation / Answer

Related Questions

Navigate