Search for tag: "predicate"

CL - 7h - Some Haskell remarks

In this video we give an example showing how Haskell's types can help us to avoid confusions.We then discuss the types of the Boolean operations lifted to predicates, and show how…

From  Haoran Peng 0 likes 241 plays 0  

CL - Lecture 2.d - Negation and Contraposition of Predicates

In this video on syllogisms, we introduce the logic of negation.

From  Claudia-Elena Chirita 0 likes 481 plays 0