Member since February 8, 2009
- Posts: 2
My Recent Posts
Sun 8 Feb, 2009 03:33 pm - I'm having a really hard time solving the following proofs in Tomassi's Logic book.
P v Q : (P v R) -> (P v(Q & R))
P : Q -> (P <->Q)
P v (Q v R) :...
Sun 8 Feb, 2009 03:05 pm - Studying logic at the university. Usually good at it, but sometimes one needs a little help!