I know you put this up almost a year ago but I need an explanation of the slide @19min55sec. Where does the (As) come from? Is that just a typo for (Es)? If so then is #8 also a typo since (As)=(~~As)? I am also confused about the right column of .... variables? What does A stand for? H? 1,4->E?
Hi maybe what's confusing is that we use A in two ways here, once to designate the assumptions and the other to just indicate a one-place predicate. But otherwise I don't detect a typo. Lines 7 and 8 are just following in a standard way. The E's in the right hand column refer to the rule of conditional elimination, not a predicate.
![[Discrete Mathematics] Logic Laws Examples](http://i.ytimg.com/vi/386Hpy6txtU/mqdefault.jpg)
I know you put this up almost a year ago but I need an explanation of the slide @19min55sec. Where does the (As) come from? Is that just a typo for (Es)? If so then is #8 also a typo since (As)=(~~As)? I am also confused about the right column of .... variables? What does A stand for? H? 1,4->E?
I would also like to say this video really helped me as well. Thanks!
Hi maybe what's confusing is that we use A in two ways here, once to designate the assumptions and the other to just indicate a one-place predicate. But otherwise I don't detect a typo. Lines 7 and 8 are just following in a standard way. The E's in the right hand column refer to the rule of conditional elimination, not a predicate.