SEM122 - Predicate Logic II

This E-Lecture builds upon Predicate Logic I and discusses the main principles of quantification. Prof. Handke explains how to use and interpret the universal, the existential and the negative quantifier and uses several examples for illustration.