2006-05-08

psilogic: (wpriz)
2006-05-08 05:07 pm

Я фигею, дорогая редакция

Пишу очередную книженцию по логике. Решил привести пример сложного логического утверждения, которое можно выразить операциями булевой алгебры. Ну и заодно показать, что естественный язык плохо пригоден для таких вещей, а со значками получается четче и яснее. В качестве примера решил взять какую-нибудь статью Уголовного Кодекса. Что из этого получилось - вы не поверите...

Read more... )