16: Logically Equivalent Formulas, Propositional Calculus, Hilbert Calculus, Deduction Theorem

Round-16 hunt: picked; source: deeper uploads from a strong channel already live; channel already live on Lumen; strict per-title check + final strict pass; title rules; oEmbed verified.

A 90-minute video from KIT Lehre und Wissen: “16: Logically Equivalent Formulas, Propositional Calculus, Hilbert Calculus, Deduction Theorem”.

Video by KIT Lehre und Wissen, played through YouTube's embedded player.