Mathematics Asked by Mauricio Vega on January 5, 2022

This is exercise 6, part b of Practice exercises of chapter 6 of PD Magnus forallx Introduction to formal logic

I am not sure if I used correctly the disjunction elimination rule in line number 7 since It disjuncts between two negations.

Given the rules of inference Magnus seems to allow, I think you're correct to have doubts about the way you've used disjunction elimination. The form of this rule Magnus gives on p.106 is that you can infer $ cal{A} $ from $ cal{A}veecal{B} $ and $ negcal{B} $, or $ cal{B} $ from $ cal{A}veecal{B} $ and $ negcal{A} $. He does not appear to have a rule which allows you to infer $ cal{A} $ from $ cal{A}veenegcal{B} $ and $ cal{B} $, at least not directly.

You can, however get around this with just one extra step by using the derived rule DN (double negation) which Magnus introduces on p.114. This allows you to infer $ negneg D $ from $ D $, and once you have $ negneg D $ you can infer $ neg X $ from $ neg Xveeneg D $ and $ negneg D $ using one of the forms of disjunction elimination which Magnus certainly does allow.

Answered by lonza leggiera on January 5, 2022

You did use disjunctive syllogism (elimination) correctly. If you have a sentence of the form,

$$neg x lor neg D$$

you would need either $x$ or $D$ to be true in order to eliminate one of the disjuncts. For example,

$$neg x lor neg D$$ $$x$$ $$therefore neg D$$

It seems like you did this properly, so line 7 is valid.

Answered by N. Bar on January 5, 2022

1 Asked on December 6, 2020 by jiexiong687691

conditional expectation expected value measure theory probability theory

1 Asked on December 6, 2020 by stranger

3 Asked on December 6, 2020 by trivial-math-is-difficult

combinations combinatorics discrete mathematics permutations probability

1 Asked on December 6, 2020 by riyasudheen-t-k

1 Asked on December 6, 2020 by mads-peter-balle

derivatives partial derivative stationary point systems of equations

2 Asked on December 6, 2020

4 Asked on December 6, 2020 by felipeuni

0 Asked on December 6, 2020 by twosigma

2 Asked on December 5, 2020 by student

1 Asked on December 5, 2020 by dr-suess-official

1 Asked on December 5, 2020 by curious-2-learn

3 Asked on December 5, 2020 by ramana

calculus definite integrals integration real analysis sequences and series

0 Asked on December 5, 2020 by moooose

4 Asked on December 5, 2020 by gray

1 Asked on December 5, 2020 by lucozade

2 Asked on December 5, 2020 by adam-b

2 Asked on December 5, 2020 by fakeraker-p

1 Asked on December 5, 2020

convergence divergence eigenvalues eigenvectors numerical methods solution verification

1 Asked on December 5, 2020 by user_9

Get help from others!

Recent Answers

- Peter Machado on Why fry rice before boiling?
- Jon Church on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?
- Joshua Engel on Why fry rice before boiling?
- haakon.io on Why fry rice before boiling?

Recent Questions

- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?
- Does Google Analytics track 404 page responses as valid page views?

© 2023 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP