@zhigang-ac：一程序员正在调试bug。。有人问他，这时候你女朋友找你逛街，你还继续调节bug吗？谁知，这哥们说:哈哈，你开玩笑吧，程序员哪来的女朋友。从这里得到命题:如果你是程序员，那么没有女朋友。逆否命题:如果有女朋友，则你不是程序员。。