Охренеть

У нас в универе продаются сектора макового торта, очень вкусного с кучей мака, как на картинке справа.

Однажды я покупал весь торт целиком и обратил внимание, что на упаковке предупреждают, что поедание маковго торта даёт ложноположительные тесты на опиаты. Я не очень этому поверил, хотя из википедии узнал, что килограмм такого торта вполне может содержать 10-20 мг морфина.

А вчера вот так случилось, что мне в руки попался опиатный тест. Ну я натурально сожрал два куска этого торта, граммов по 250, а сегодня использовал тест. Тест выдал чёткий положительный результат, как у героинщиков со стажем. Офигеть в общем. Нафик-нафик такие тесты.

Логика высказываний, минимальная аксиоматизация

Я тут почитал статью в википедии про логику высказываний и обнаружил, что там не приведена усовершенствованная (Девидом Мередитом) аксиоматизация Лукасевича! Что-ж, как-нибудь напишу её туда. А пока сюда.

Итак, язык логики высказываний состоит из
– константы ⊥ (“ложное высказывание”),
– связки => (“следовательно”),
– неограниченного алфавита переменных.

( Read more... )