Introduction to Logic

Proof

A proof of a conclusion from a set of premises is a sequence of sentences in which each element is either (1) a premise, (2) an assumption, or (3) the result of applying a rule of inference to earlier items in the sequence. In this book, we look at two types of proofs - linear proofs and structured proofs.