Lecture: Unit 9 Lecture 5 Multi-Place Finite Extensional Models
Channel: Alex Koo
Date: 22/11/2020

ERRATUM:
15:10 - H² changes from "{(0,1)" to "{(0,0)}". This is an error. H²: {(0,0)} would make the conclusion true, whereas H²: "{(0,1)}" makes the conclusion false while making premise 2 true.

This video is protected under the Creative Commons BY license. As such, one may copy or redistribute the video in any medium or format on the condition that proper attribution to the original creator is provided. Attribution must include the name of the original creator (Alex Koo); a link to the original material (this video). One must indicate what changes have been made to the video. One may not use the material for commercial purposes, and one may not redistribute the material if it has been remixed/transformed/built upon.