This video provides a general overview of the concept of proofs in sentential logic. It demonstrates the use of a proof in a natural language (English) setting and it introduces the basic procedure of completing proofs.