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 on November 1st, 2020 0 likes 234 plays 0  

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

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

From  Claudia Chirita on September 26th, 2020 0 likes 457 plays 0