![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[VID]](/icons/movie.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| contradiction-ex.mp4 | 2015-09-30 14:10 | 6.3M | |
| contradiction-ex.ogv | 2015-09-30 14:10 | 35M | |
| contradiction.mp4 | 2015-09-30 14:10 | 8.7M | |
| contradiction.ogv | 2015-09-30 14:10 | 49M | |
| contraposition-ex.mp4 | 2015-09-30 14:10 | 5.7M | |
| contraposition-ex.ogv | 2015-09-30 14:10 | 31M | |
| contraposition.mp4 | 2015-09-30 14:10 | 5.3M | |
| contraposition.ogv | 2015-09-30 14:10 | 28M | |
| converse.mp4 | 2015-09-30 14:10 | 4.1M | |
| converse.ogv | 2015-09-30 14:10 | 24M | |
| equivalence.mp4 | 2015-09-30 14:10 | 12M | |
| equivalence.ogv | 2015-09-30 14:10 | 45M | |
| existence.mp4 | 2015-09-30 14:10 | 8.8M | |
| existence.ogv | 2015-09-30 14:10 | 32M | |
| modustollens.mp4 | 2015-09-30 14:10 | 5.3M | |
| modustollens.ogv | 2015-09-30 14:10 | 28M | |
| quantifiers.mp4 | 2015-09-30 14:10 | 5.8M | |
| quantifiers.ogv | 2015-09-30 14:10 | 22M | |
| simplification2.mp4 | 2015-09-30 14:10 | 9.8M | |
| simplification2.ogv | 2015-09-30 14:10 | 36M | |
| universality.mp4 | 2015-09-30 14:10 | 12M | |
| universality.ogv | 2015-09-30 14:10 | 42M | |
| video2-5-1.mp4 | 2015-09-30 14:10 | 9.4M | |
| video2-5-1.ogv | 2015-09-30 14:10 | 55M | |
| video2x5.mp4 | 2015-09-30 14:10 | 14M | |
| video2x5.ogv | 2015-09-30 14:10 | 79M | |