안녕하세요 질문에 대한 관련 답변입니다. 한 줄짜리 화살표는 참인지 거짓인지 아직 밝히지 않은 명제를 의미합니다. 두줄짜리 화살표는 참인 명제를 의미합니다.