∃LOGIC tutorial videos

  1. Getting started

  2. A simple derivation

  3. Let's modus ponens

  4. Derivation dub

  5. Assumptions for conditional derivation

  6. De Morgan's Law T63

  7. Introducing L3 derivaitons

  8. Universal derivation

  9. Another L3 derivaiton

  10. [Quanitifer negation rules]

[...more to come...]


Users are encouraged to send problems and feedback to Henri Maurer (s1345815@sms.ed.ac.uk) or Dr. Rabern.