Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Uploaded on Feb 21, 2011
We prove the dual Frobenius rule, which involves universal quantifiers and disjunction. It turns out that the Law of Excluded Middle is needed for the proof. In fact, the Law of Excluded Middle is equivalent to the Frobenius rule, which we leave as exercise.