Search for tag: "ponens"

13.c

The third video on the first Inf2d lecture on Resolution.

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 152 plays 0  

12.b

The second video of the Inf2d lecture on Inference in First-Order Logic.

From  Claudia-Elena Chirita on February 3rd, 2021 0 likes 178 plays 0  

12.a

The first video of the Inf2d lecture on Inference in First-Order Logic.

From  Claudia-Elena Chirita on February 3rd, 2021 0 likes 197 plays 0