The techniques of natural deduction, including conditional proof, indirect proof and separation of cases. Emphasizes applications in sentence logic and in the logic of quantification up to the logic of relations.