Rules Think about the following rules for this problem: MP.ADD,DN,DEM.MT Modus Ponens Medus Tollens 8 DS Add o Simp 6 8 HS 8 CD O Addition 0 Conj Dilemma Double Negation o Impl o CP O o Equiv o Com o Assoc o Dist Level: 6/7 Problem: 1/4 C W Problem Code: 6.4 t Hin Try to derive H FrequentInfrequent Deep ThoughtInstructons Delete Node Restart Current Problem A Logic Proof Tutor Window Information Version X.1 September 10, 2018 North Carolina State University Change to Indirect Proof Skip Current Problem ContactVersion Information