전건이 거짓이면 후건 참거짓과 상관없이 조건문은 참