Lecture: Unit 7 Multi Place Symbolization in PL Part 3
Channel: Alex Koo
Date: 23/11/2016

ERRATUM:
9:18 - The final line of the prenex normal form reads "∀x∀z∃z" when it should be "∀x∀z∃y".

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.