적형식 · 주연결사 확인

입력한 문장이 올바른 적형식(WFF)인지 확인하고, 주연결사(main connective)와 구문 구조를 보여줍니다.