There is a coursera course on formal logic which starts in 3 days and covers this kind of stuff: https://www.coursera.org/course/intrologic https://www.coursera

There is a coursera course on formal logic which starts in 3 days and covers this kind of stuff: https://www.coursera.org/course/intrologic https://www.coursera.org/course/intrologic They have a very nice proof editor: http://logica.stanford.edu/php/fitch.php http://logica.stanford.edu/php/fitch.php And some other logic tools: http://logica.stanford.edu/php/index.php http://logica.stanford.edu/php/index.php This system is pretty neat though. EDIT: I'm having trouble with this. I can not get Or Introduction or Or Elimination to work. I have no idea what it where the inputs are supposed to go or why it doesn't accept it as valid. I did figure out how to do assumption, but it wasn't immediately obvious and is kinda clunky.