Explain the difference between the steps of general conditional proof and universal quantifier introduction.
No comments:
Post a Comment