Definition:Natural Deduction System/Copi

Definition
Source: : (MacMillan, $1973$)

Rule of Replacement
The Rule of Replacement can then subsequently be used on the following: