Logic tutorial: how to use proof trees | Attic Philosophy

Описание к видео Logic tutorial: how to use proof trees | Attic Philosophy

Tutorial on how to use proof trees (semantic tableaux) in propositional logic, by philosophy lecturer Dr Mark Jago.

This video introduces the idea of proof trees, goes through the rules you'll need to use them, and goes through some examples. We also look at how to construct counter-examples from finished proof trees.

I've got a video on the background to trees in logic:    • Logic tutorial: how Trees work in Log...  

My academic philosophy page: http://markjago.net

Many of my academic publications are available freely here: https://philpapers.org/s/Mark%20Jago

Music and graphics © Attic Philosophy 2020

#logic #philosophy #tutorial #prooftrees #proofs

Комментарии

Информация по комментариям в разработке

Похожие видео