 Anderson and Belnap’s natural deduction system is based on Fitch’s natural deduction systems for classical and intuitionistic logic. The easiest way to understand this technique is by looking at an example.