Mon 5 Dec, 2016 11:55 pm - 3. ~(A>A)v(B>B) Implication 1
4. ~[(A>A) & ~(B>B)] De Morgan's 3
That's all I can figure out. I can't get the next line (view)
Mon 5 Dec, 2016 08:08 pm - I need help solving this proof with all the rules of inference and replacement rules, but I can't use indirect proof and conditional proof. Any help would be appreciated as I've been... (view)