53:56duration 53 minutes 56 seconds
CL - 20 - syllogisms arrowrule
N/A
04:34duration 4 minutes 34 seconds
CL - 12c - chains
In this video we look at the next simplest example, chains of implications between atoms. We introduce the arrow rule.
07:14duration 7 minutes 14 seconds
CL - 12a - Order
This video looks at the ordering of predicates. We first met thsis as the satisfaction ordering a ⊨ b.We look at the ordering of the 16 possible boolean functions of two variables. We can also view…
03:35duration 3 minutes 35 seconds
CL - 9e - DPLL IV
We continue with the simple example and its representation in Haskell.