HDTutorial
EN
Logic tutorial: how to use proof trees | Attic Philosophy

Playback starts YouTube’s embedded player (privacy-enhanced mode).

Logic tutorial: how to use proof trees | Attic Philosophy

26,343 views February 10, 2020 11:48

Watch on YouTube
ChannelAttic Philosophy

Description from the creator

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: youtu.be/HG324ZGV0Fw

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

About this tutorial

Attic Philosophy published this 11:48 video tutorial on February 10, 2020. It has been watched 26,343 times on YouTube.

Category
Education
Duration
11:48
Published
February 10, 2020
Views
26,343
Likes
621

Tags

Share

This tutorial in other languages