I am interested in using ProofPower to aid in the teaching of Discrete
Math. I would like to assist the students in developing proofs using
specific rules of inference. e.g. in the attached proof from our textbook
the proof uses Hypothetical Syllogism to prove a Propositional expression.
I don't qu
On 03/02/15 13:55, David Topham wrote:
>
>
> I am interested in using ProofPower to aid in the teaching of Discrete
> Math. I would like to assist the students in developing proofs using
> specific rules of inference. e.g. in the attached proof from our
> textbook the proof uses Hypothetical Syllog
