BrighterTube

Mod-01 Lec-21 Semantic Tableaux Method: Further Examples

nptelhrd2.25M subscribers

About this video

Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidence

Semantic tableaux method with further examples teaches systematic proof verification and satisfiability checking in logic. Demonstration of decision procedures for logical formulas.

A 58-minute video from nptelhrd: “Mod-01 Lec-21 Semantic Tableaux Method: Further Examples”.

Philosophy

Video by nptelhrd, played through YouTube's embedded player.

Part of Humanities - Introduction to Logic