수학에선 p->q (if p then q) 에서 p가 거짓이면 p->q전체가 참이되는데요

프로그래밍에서도 그런가요?