SOLUTION: Can you please help me solve the following proof? 1.D>(A*G) 2.(AvB)> [(C>Q)*D] // A (triple bar)D > equals wedge * equals dot

1.   D > (A * G)
2.   (A v B) > [(C > Q) * D]          // A = D  
-------------------------------------------------------
3.   ~D v (A * G)                            1       MI
4.   (~D v A) * (~D v G)                     3       Dist
5.   ~D v A                                  4       Simp
6.   D > A                                   5       MI
7.   ~(A v B) v [(C > Q) * D]                2       MI
8.   [~(A v B) v (C > Q)] * [~(A v B) v D]   7       Dist
9.   [~(A v B) v D] * [~(A v B) v (C > Q)]   8       Comm
10.  ~(A v B) v D                            9       Simp
11.  (~A * ~B) v D                           10      DM
12.   D v (~A * ~B)                          11      Comm
13.  (D v ~A) * (D v ~B)                     12      Dist
14.   D v ~A                                 13      Simp
15.   ~A v D                                 14      Comm
16.   A > D                                  15      MI
17.   (A > D) * (D > A)                      16,6    Conj
18.   A = D                                  17      ME