Wpis z mikrobloga

@h0man: lub vs albo

„Lub” to tzw. funktor alternatywy nierozłącznej. W języku zwykłych śmiertelników zasadę jego działania możemy zilustrować następująco: jeśli reklama obiecuje nam, że dostaniemy „rabat lub nagrodę niespodziankę”, to mamy zagwarantowane, że dostaniemy przynajmniej jedną z tych rzeczy a niewykluczone, że obie.

„Albo” wyraża alternatywę rozłączna: jeśli reklama stwierdza (a wszyscy wiemy, że nie należy ufać reklamom), że dostaniemy „ rabat albo nagrodę niespodziankę” to nie ma co szaleć