Реши
На фотографии изображен экран компьютера с текстом задания по логике. Верхняя часть задания касается формализации структуры суждений, а нижняя – придумывания суждений по заданным формулам. К сожалению, текст на экране нечеткий и все формулы разобрать сложно, но я попробую помочь тебе с тем, что могу разглядеть.
Давай попробуем разобраться с первым суждением выше:
- "Дружба дружбой, а служба службой."
Это суждение использует структуру, в которой две части противопоставлены друг другу. В логических формулах это часто выражается через конъюнкцию (логическое "И"), дизъюнкцию (логическое "ИЛИ") или импликацию (если..., то...). В данном случае уместна импликация или исключающее "ИЛИ", так как утверждается, что одно не следует из другого.
Для формализации мы могли бы обозначить "Дружба" как \( p \), а "Служба" как \( q \). Структуру суждения в виде формулы можно тогда записать, например, в виде \( p \rightarrow \neg q \) или \( p \oplus q \), где \( \rightarrow \) - это импликация, а \( \oplus \) - это исключающее "ИЛИ".
Касательно второго задания (11 пункт), если есть возможность уточнить текст конкретных формул, я смог бы предложить более точные варианты суждений для каждой из них.
