This** preview**
has intentionally

**sections.**

*blurred***to view the full version.**

*Sign up*
**Unformatted text preview: **11)(A->E) . (E->A) 10, ME 12)A-> E 11, Simp 13)~E 9 Simp 14)~A 12, 13 MT 15)A v (Bv (C.D)) 1, As 16)B v (C.D) 14, 15 Ds 17) B->F 2, Simp 18)~F 9, Simp 19)~B 17, 18 MT 20)C.D 16,19 DS 21)~C 4, 19 MT 22)C 20, Simp 23)C. ~C 21,22 Conj...

View
Full Document

- Spring '08
- Menzel