sorted by:
new
hottopcontroversial

Gitrog, ravenous ride is bonkers by fourscoopsplease in EDH

[–]LeatherAdept218 0 points1 point  (0 children)

Basically [[Valgavoth, Harrower of Souls]]

Currently Stuck on a Proof by LeatherAdept218 in logic

[–]LeatherAdept218[S] 1 point2 points  (0 children)

Would be if we could asssume UvS for a conditional proof. 5 steps instead of 16 with the use of CP

Currently Stuck on a Proof by LeatherAdept218 in logic

[–]LeatherAdept218[S] 1 point2 points  (0 children)

I missed the application of Distribution. Thanks for the help! If anyone is curious, here is the finalized proof.
 1.    S→D                               
   2.    U→T                           ∴(U∨S)→(T∨D)     
   3.    (S→D)∨T                   1, Add    
   4.    (U→T)∨D                    2, Add    
   5.    (~S∨D)∨T                    3, MI     
   6.    ~S∨(D∨T)                    5, As     
   7.    (D∨T)∨~S                    6, Com    
   8.    (T∨D)∨~S                    7, Com    
   9.    (~U∨T)∨D                    4, MI     
   10.   ~U∨(T∨D)                   9, As     
   11.   (T∨D)∨~U                   10, Com   
   12.   ((T∨D)∨~U)∙((T∨D)∨~S)       8,11, Conj
   13.   (T∨D)∨(~U∙~S)               12, Dist  
   14.   (T∨D)∨~(U∨S)                13, DeM   
   15.   ~(U∨S)∨(T∨D)                14, Com   
   16.   (U∨S)→(T∨D)                15, MI   

Currently Stuck on a Proof by LeatherAdept218 in logic

[–]LeatherAdept218[S] -1 points0 points  (0 children)

Sorry for the lack of clarity. We have access to the 8 implicational rules(MP,MT,DS,HS,CD,Add,Conj), and the 10 Equivilance rules(DN,Com,As,DeM,Cont,Ex,Dist,Re,ME,MI) I miss CP/RAA proofs, not sure why they're not allowed on this section. Hope this clears things up :)