Recent content by millani

http://download.plt-scheme.org/drscheme/" is a pretty good IDE for Scheme. It works on Linux, Windows and OS X, so chances are you can use it :smile: Personally, I'd start with C (The C Programming Langauge is a very good book about it, by the way). The language you pick first doesn't...

Thanks for the help, loop quantum gravity! 1. (p \rightarrow (q \vee p)) \rightarrow r premise 2. p hypothesis 3. q \vee p 2addition 4. p \rightarrow (q \vee p) 2-3conditional proof 5. r 1,4 modes ponens 6. q \vee r disjunction introduction 5 7. \neg p \vee (q \vee r) disjunction...

How do I prove this? (propositional logic) Homework Statement How to prove this (p \rightarrow (q \vee p)) \rightarrow r \vdash \neg p \vee (q \vee r) using only the natural deduction rules in propositional logic? Homework Equations http://en.wikipedia.org/wiki/Propositional_logic...