Lecture 4 (Logic)

In a derivation with lines 1. α → β (P), 2. α (P), what justifies writing 3. β?

1. A.1, 2 ; Rule P
2. B.1, 2 ; Rule T
3. C.1 ; Rule CP
4. D.2 ; Rule Raa