http://mathforum.org/kb List of forum topics en http://mathforum.org/kb/thread.jspa?messageID=7906204&tstart=0#7906204 > On Oct 14, 9:21 pm, Graham Cooper]]> Oct 14, 2012 11:56:38 PM Oct 14, 2012 11:56:38 PM grahamcooper7@gmail.com 0 http://mathforum.org/kb/thread.jspa?messageID=7906205&tstart=0#7906205 ]]> Oct 14, 2012 11:56:37 PM Oct 14, 2012 11:56:37 PM 1 http://mathforum.org/kb/thread.jspa?messageID=7906153&tstart=0#7906153 > LHS & (LHS -> (a&b->c)) -> a&b->c
>
> to derive models of backward chainable embedded]]> Oct 14, 2012 9:21:10 PM Oct 14, 2012 9:21:10 PM grahamcooper7@gmail.com 2 http://mathforum.org/kb/thread.jspa?messageID=7906139&tstart=0#7906139 > > a & (a->b) --> b
Oct 14, 2012 9:05:12 PM Oct 14, 2012 9:05:12 PM grahamcooper7@gmail.com 3 http://mathforum.org/kb/thread.jspa?messageID=7906141&tstart=0#7906141 ]]> Oct 14, 2012 9:05:11 PM Oct 14, 2012 9:05:11 PM 4 http://mathforum.org/kb/thread.jspa?messageID=7905974&tstart=0#7905974 > you can't follow the context of this]]> Oct 14, 2012 3:53:55 PM Oct 14, 2012 3:53:55 PM greeneg@email.unc.edu 0 http://mathforum.org/kb/thread.jspa?messageID=7905522&tstart=0#7905522 > On Oct 13, 4:30 pm, Graham Cooper]]> Oct 13, 2012 8:20:37 PM Oct 13, 2012 8:20:37 PM grahamcooper7@gmail.com 5 http://mathforum.org/kb/thread.jspa?messageID=7905523&tstart=0#7905523 ]]> Oct 13, 2012 8:20:36 PM Oct 13, 2012 8:20:36 PM 6 http://mathforum.org/kb/thread.jspa?messageID=7905521&tstart=0#7905521 > You still owe me some BASE THEOREMS, otherwise]]> Oct 13, 2012 8:16:31 PM Oct 13, 2012 8:16:31 PM greeneg@email.unc.edu 0 http://mathforum.org/kb/thread.jspa?messageID=7905520&tstart=0#7905520 > RESOLUTION IS STATED AS:
>
> ((p v]]> Oct 13, 2012 8:13:49 PM Oct 13, 2012 8:13:49 PM greeneg@email.unc.edu 0