연언 제거, 도입
조건언 제거, 도입

이 정도하는데도 기호화 시킨걸 증명하는건 글타치고

결국 궁극적으론 실제 문장(명제?)을 기호화 할 줄 알고

자연연역에 따라 타당성 증명을 해야하는데

거기까지 가면 진짜 머리터질거 같다

이것도 대충보니 기초중의 기초같은데

세상엔 참 대단한 사람들이 많다


- dc official App