Answer to Question #111218 in Discrete Mathematics for Martin

Question

a) Which of the following is a valid inference from the sentence, "c is a small dodecahedron but isn't
either medium and left of b or right of d."

1. c is right of d
2. c is not a dodecahedron
3. c isn't either medium and left of b or right of d correct
4. c is left of b.


c) Which of the following describes the default behavior of Fitch for (a) ∧-Elim and (b) ∧-Intro,
respectively?

1. (a) fills in the first conjunct of the cited conjunction and (b) conjoins all the cited formulas
2. (a) conjoins all the cited formulas and (b) fills in the first conjunct of the cited conjunction
3. (a) conjoins the first two cited formulas and (b) results in an error
4. (a) fills in the first conjunct of the cited conjunction and (b) conjoins the first two cited
formulas.

Answer 1

Dear Martin, your question requires a lot of work, which neither of our experts is ready to perform for free. We advise you to convert it to a fully qualified order and we will try to help you. Please click the link below to proceed: Submit order