Search for tag: "satisfaction"

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…

From  Haoran Peng on November 9th, 2020 0 likes 315 plays 0  

CL - Lecture 4.e - Sequents 0

The following videos introduce sequents, a far-reaching generalisation of the idea underlying Aristotle's propositions. We have already discussed the introduction of multiple antecedents…

From  Claudia-Elena Chirita on October 15th, 2020 0 likes 382 plays 0