Question

Переведите на формальный язык логики следующее выражения естественного языка:

2.Кража, то есть тайное хищение чужого имущества, - наказывается штрафом в размере до восьмидесяти тысяч рублей или в размере заработной платы или иного дохода осужденного за период до шести месяцев, либо обязательными работами на срок до трехсот шестидесяти часов, либо исправительными работами на срок до одного года, либо ограничением свободы на срок до двух лет, либо принудительными работами на срок до двух лет, либо арестом на срок до четырех месяцев, либо лишением свободы на срок до двух лет.​

Answer 1

Если имеет место кража, т.е. тайное хищение чужого имущества, то возможны следующие виды наказания:

1. Штраф в размере до восьмидесяти тысяч рублей или в размере заработной платы или иного дохода осужденного за период до шести месяцев,

2. Обязательные работы на срок до трехсот шестидесяти часов,

3. Исправительные работы на срок до одного года,

4. Ограничение свободы на срок до двух лет,

5. Принудительные работы на срок до двух лет,

6. Арест на срок до четырех месяцев,

7. Лишение свободы на срок до двух лет.