Answer to Question #178253 in Discrete Mathematics for Ayesha

Question #178253

Formalize the following argument, then determine the result using logical Inferences

Either Derek works or Avery does not work.

If it is not true that both Avery works and Brandon does not work, then clearly Celina does not

work. However, Derek does not work."

Does Celina work?


1
Expert's answer
2021-04-09T12:02:30-0400

Let,

A: Avery Works

B: Brandon Works

C: Celina Works

D: Derek Works


  1. "D\\lor\\neg A\\\\"
  2. "\\neg(A \\land \\neg B)\\rightarrow \\neg C"
  3. "\\neg D"
  4. "\\neg A" Using 1,3, Disjunction Syllogism
  5. "\\neg A\\lor B" Using 4, vE
  6. "\\neg(A\\land \\neg B)" Using 5, Demorgans
  7. "\\neg C" Using 2,6, Modus Ponens

Conclusion: From point 7 it is clear that Celina doesn't work



Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

Comments

Assignment Expert
09.04.21, 19:49

Dear Faizan, please use the panel for submitting a new question.

Assignment Expert
09.04.21, 19:49

Dear Faizan, please use the panel for submitting a new question.

Faizan
05.04.21, 06:35

Consider Premises: If William has wide support, then he'll be asked to run for the senate. If William yells \Yahoo" in Iondon, he will not be asked to run for the senate. William yells \Yahoo" in Iondon. Conclusion: William does not have wide support. Determine whether the conclusion follows logically from the premises. Explain by representing the statements symbolically and using rules of inference.

Leave a comment

LATEST TUTORIALS
New on Blog
APPROVED BY CLIENTS