Sat 2 Dec, 2017 05:11 pm - I'm self-studying and am also a beginner, and using only the book's instructions I couldn't figure out the necessary assumptions.
Thanks anyway. (view)
Sat 2 Dec, 2017 06:09 am - I'm reading this book on propositional logic. And so far the rules of inference introduced in the book are: modus ponens, modus tollens, conditional proof, &,v-introduction,... (view)