Sunday

February 14, 2016
Posted by **James** on Tuesday, June 25, 2013 at 1:08am.

- Discreet math -
**MathMate**, Tuesday, June 25, 2013 at 7:10amIf you need a proof of the proposition/identity, please first double check the expressions.

[(pvq)^**(p=>)**^**(q=>)**]=>**r[**(pvq)^**(p=>)**^**(q=>)**]=>r

Not sure if something is missing where expression is indicated in bold. Perhaps there are other problems.