NATURAL DEDUCTION
- Construct a proof that reveals the validity of the followinginference. Make sure that you symbolize it first.
Tom was involved in the fight at the party Friday and stolemoney from Monica’s purse later that same night. The parole officerhad told me that if he was involved in the fight then he’d have togo back to the rehab clinic and the social worker told me that ifhe stole the money then control over his savings account is goingto be turned over to a representative from the office of juvenilecorrections. Well, it follows that Tom is going back into rehab andhe’s going to lose control over his savings.
.
