В предпосылке сказано не "ВСЕ программисты ненавидят Виндоус", а просто: "Программисты ненавидят Виндоус". То есть, существуют толкования правила-предпосылки, допускающие существование исключений. А вот если бы было сказано "ВСЕ", то это была бы просто ложная предпосылка - ибо существуют программисты, не ненавидящие Виндоус (пример: Билл Гейтс;))

ЗЫ:
>> из A => B выводится ~A => ~B
Это будет ошибка #030: Denial of the antecedent