Tutorial on how to use proof trees (semantic tableaux) in modal logic, by philosophy lecturer Dr Mark Jago.
In this video, I go through how to use proof trees in modal logic. I introduce the new rules for the modal operators, and show how to give proofs in different modal logic systems (like K, KD, K45, and so on). I'll also show you how to build counter-models from finished proof trees.
This video builds on my intro to proof trees:
• Logic tutorial: how to...
I've got a video on the background to trees in logic: • Logic tutorial: how Tr...
My academic philosophy page: markjago.net
Many of my academic publications are available freely here: philpapers.org/s/Mark%20Jago
Music and graphics © Attic Philosophy 2020
#logic #philosophy #tutorial #prooftrees #proofs
Негізгі бет Modal Logic Tutorial: how to use Proof Trees in Modal Logic | Attic Philosophy
No video
Пікірлер: 27