p,q모두 참일때의 해석이 되니까


q->p 귀결도 가능한가요?