Natural Deduction: Conditional Introduction

Program: Deductions by Wandering Mango (http://www.wanderingmango.com). Tutorial on Conditional Introduction using Deductions. This tutorial is a short introduction to the conditional introduction rule in formal logic. It explains the rule by appealing to an example of hypothetical syllogism.