Check the proof Is the following proof correct? Select “True” if you believe tha

Question

Check the proof Is the following proof correct? Select “True” if you believe that the proof is correct. Select “False” if you believe that there is at least one error in the proof.

1. F v S
2. G
3. [G * (F v S)] > ~T
4. ~B > T
Conclusion: ~~B
5. G * (F v S) 1, 2, Conj
6. ~T 3, 5, MP
7. ~~B 4, 6, MT True False Check the proof Check the proof Is the following proof correct? Select “True” if you believe that the proof is correct. Select “False” if you believe that there is at least one error in the proof.

1. F v S
2. G
3. [G * (F v S)] > ~T
4. ~B > T
Conclusion: ~~B
5. G * (F v S) 1, 2, Conj
6. ~T 3, 5, MP
7. ~~B 4, 6, MT True False

Explanation / Answer

1. F v S (premise) to be proven ~~B

2.G (Premise)

3. [G.(F v S)] > ~T (premise)

4. ~B > T (premise)

5. G.(F v S) (from 1 and 2 , Conjunction)

6. ~T (from 3 and 5. Modus Ponens)

7. ~~B (from 4 and 6 . proof of conclusion)

here the proof of the conclusion is upon the assumptions and this is TRUE.

Related Questions

Navigate

• Browse (All)
• Browse C
• Subjects

---