1. Other
  2. Other
  3. in the following proof which justification is correct for line...

Question: in the following proof which justification is correct for line...

Question details

In the following proof, which justification is correct for line 3?

(1) ( x)[(C x • D x) ⊃ ~E x] Premise

(2) Eb /~Cb ∨ ~Db Premise/Conclusion

(3) (Cb • Db) ⊃ ~Eb

1 UI

1, 2 MT

1 UG

2 EI

None of these answers are correct.

Solution by an expert tutor
Blurred Solution
This question has been solved
Subscribe to see this solution