Sun 27 Jan, 2013 01:32 pm - Im not exactly sure what →O means. I've entered it into the problem but it says that there is no rule named that. If you could tell me what you mean by →O I could probably figure out... (view)
Sat 26 Jan, 2013 11:13 pm - If anyone can explain derivations to me it would be greatly appreciated. I use this program called "logic 2010" and I have homework dealing with derivations but I have no idea what to... (view)