Upload

Loading...

The dual Frobenius rule, part 1

2,540

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

Loading...

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.

  • Category

  • License

    • Standard YouTube License

Loading...

to add this to Watch Later

Add to

Loading playlists...