Search for tag: "modus ponens"

12.b

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

From  Claudia-Elena Chirita 0 likes 187 plays 0  

12.a

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

From  Claudia-Elena Chirita 0 likes 215 plays 0