Logic is used in Artificial Intelligence for Knowledge Representation. This video introduces propositional logic.
No download links available.
