This video belongs to the openHPI course Knowledge Engineering with Semantic Web Technologies. Do you want to see more?
Previous
3.3 The Foundations of Logic
Next
3.4 Short Recapitulation of Propositional Logic