[Logic] Practice Proofs

From a channel Lumen includes in full: TrevTutor teaches university-level logic, discrete maths, linguistics and financial mathematics as structured lesson series with worked problems, closely tracking standard course syllabi.

A 12-minute video from TrevTutor's catalogue; the title names its topic.

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