Question

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

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

Answer 1

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

Пусть:
К = "Кража, то есть тайное хищение чужого имущества."
Н = "Наказывается штрафом в размере до восьмидесяти тысяч рублей или в размере заработной платы или иного дохода осужденного за период до шести месяцев."
ОР = "Обязательные работы на срок до трехсот шестидесяти часов."
ИР = "Исправительные работы на срок до одного года."
ОГР = "Ограничение свободы на срок до двух лет."
ПР = "Принудительные работы на срок до двух лет."
АР = "Арест на срок до четырех месяцев."
ЛС = "Лишение свободы на срок до двух лет."

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

К -> (Н ∨ ОР ∨ ИР ∨ ОГР ∨ ПР ∨ АР ∨ ЛС)