Upload

Loading icon Loading...

This video is unavailable.

The dual Frobenius rule, part 1

Sign in to YouTube

Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to like bauerandrej's video.

Sign in to YouTube

Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to dislike bauerandrej's video.

Sign in to YouTube

Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to add bauerandrej's video to your playlist.

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 icon Loading...

Loading icon Loading...

Loading icon Loading...

The interactive transcript could not be loaded.

Loading icon Loading...

Loading icon Loading...

Ratings have been disabled for this video.
Rating is available when the video has been rented.
This feature is not available right now. Please try again later.

Loading icon Loading...

Loading...
Working...
to add this to Watch Later

Add to