Monday 19 May 2014

Explain the difference between the steps of general conditional proof and universal quantifier introduction.



No comments:

Post a Comment