Question 1132212
<font face="Times New Roman" size="+2">
<pre>
1.  (D & E) -> (F & G)
2.  (~E V ~D) -> (H & I)
3.  ~F                     |  I

4. ~F V ~G                 3.  Disjuction Introduction
5. ~(F & G)                4.  DeMorgan
6. ~(D & E)                1.  Modus Tollens
7. ~E V ~D                 6.  DeMorgan
8.  H & I                  2.  Modus Ponens
9.  Therefore I            8.  Conjunction Elimination
</pre>


Note Disjunction Introduction is also called Addition.  Conjunction Elimination is also called Simplification.
								
								
John
*[tex \LARGE e^{i\pi}\ +\ 1\ =\ 0]
My calculator said it, I believe it, that settles it
<img src="http://c0rk.blogs.com/gr0undzer0/darwin-fish.jpg">
*[tex \Large \ \
*[tex \LARGE \ \ \ \ \ \ \ \ \ \  
								
{{n}\choose{r}}
</font>