Search for tag: "negation"

CL - 11c - CNF by KM (I)

Description Pending

From  hpeng2 on November 12th, 2020 0 likes 214 plays 0  

CL - 9c - DPLL II

We return to the example introduced in the previous video, and begin to represent the problem in Haskell.

From  hpeng2 on November 4th, 2020 0 likes 254 plays 0  

CL - Lecture 4.h - Sequents 3

We can now give Gentzen's rules for ¬ ⋀ ⋁.

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

CL - Lecture 4b - Visualising Negation

What is the difference between 'a' and 'not a'? Here we visualize them on a globe instead of a plane.

From  hpeng2 on October 11th, 2020 0 likes 436 plays 0  

CL - Lecture 3c - Aristotle's Square of Opposition

This is how Aristotle organised his propositions.

From  hpeng2 on October 3rd, 2020 0 likes 403 plays 0  

CL - Lecture 3b - Particular Propositions

You have already met Aristotle's universal propositions, universal assertion, "every a is b", and universal denial, "no a is b". The negations of these are his particular…

From  hpeng2 on October 3rd, 2020 0 likes 457 plays 0  

CL - 2019 Lecture 2

This is an old recording of Lecture 2, from 2019.

From  Claudia-Elena Chirita on September 26th, 2020 0 likes 181 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 on September 26th, 2020 0 likes 447 plays 0  

2.1-part4: De Morgan's laws

.

From  Vesselin Velichkov on July 19th, 2020 0 likes 88 plays 0  

Natural Language Processing Tasks

Natural Language Processing Tasks

From  Dimitrios Doudesis on June 8th, 2020 0 likes 101 plays 0