Fitch system에서 전제를 가정해도 됨?

[익명(221.151)]

P, Q가 전제로 주어진 경우
P를 가정하고 Q를 iter해서

CP로 P->Q를 얻어도 되는 거임?

[익명(115.21)]

ㅇㅇ 다만 그 경우에는 ⊢ P→Q가 증명되는 게 아니라 P, Q ⊢ P→Q가 보여지는 거지

[익명(115.21)]

1. P (premise) 2. Q (premise) 3. P (assumption) 4. | Q (2 iteration) 5. P→Q (3-4) // (P&Q) → (P → Q)