Mon 28 Feb, 2011 03:26 pm - Sorry to bother you again
I really don't understand this whole proof thing
I don't understand how many steps there are supposed to be in order to prove P.
I've read over my... (view)
Fri 25 Feb, 2011 04:07 pm - Hi everyone,
I'm having some trouble with this question on an assignment.
Use dead reckoning to show that the following argument is valid in SL.
G & ¬H
¬ H ⇒H Therefore,... (view)