Какая сволочь взломала журнал flaas@lj?

Может у человека просто веселое настроение? Выпил, например? :)

Он просто экспериментирует, как выяснилось. Вот счас кээк привлекут его за эксперименты над людьми, конвенционно запрещенные!

Нет, все нормально, при A = 0, любое A -> B верно.

Виноват, не понял.
"->" значит "из А следует В"?

Ага.

Ып?

dimrub@lj, объясните! Это дофига интересно!

Примем А="количество апельсинов в руках dimrub@lj", а В="количество подзатыльников, которое получит нынче вечером flaas@lj". Как выглядит соответствие?

В формальной логике A -> B означает "если А верно, то верно и B". Таким образом, это отношение ничего не говорит о том, что происходит, если А - неверно. То есть, если А всегда ложно, то утверждение A -> B всегда истинно. Скажем, если А это "формула этилового спирта - H2O", а B - "все критяне - гении покруче Эйнштейна", то A -> B истинно.

Проще, наверное, представить это себе в виде таблицы истинности.

A/B F T
F   T T
T   F T

А, понял! Простите, не в ту сторону думал - я этого всего сто лет на русском не видел...