p -> q
q -> r
——————
∴ r
invalid 하지 않음? ∴p -> r 이 되어야 유효한거잖아
저런 식으로는 잘 안 쓸 텐데? 두 번째 줄 아래에 p를 쓰고, 결론으로 r를 쓰는 형식이 보통이지.
저런 식으로는 잘 안 쓸 텐데? 두 번째 줄 아래에 p를 쓰고, 결론으로 r를 쓰는 형식이 보통이지.