Какие из предложений являются высказываниями, а какие - нет?
1. Включи монитор.
2. Кислород это газ.
3. Шишка это цветок.
4. Сколько воды утекло?
5. Все дети учащиеся.
6. Хотя бы один пароль будет верным.
2 Определите истинность высказываний.
1. 123 это цифра.
2. Слово «стол» — это существительное.
3. Число 46 является степенью числа 2.
4. Значение выражения а = равно 0,75. x+y 3
5. Железо легче воды.
3. Постройте отрицания высказываний.
2. Соня любит рисовать.
1. Миша не может пойти в кино.
3. Все планеты не имеют атмосферы.
Вот подробное решение по трем частям задачи. Я поясняю шаг за шагом, чтобы было понятно, как получать выводы.
Часть 1. Какие предложения являются высказываниями (предметные высказывания) и какие нет?
Определение: высказывание (пр proposition) — это Declarative sentence, которое имеет значение истинности и может быть истинным или ложным. Вопросы, призывы, команды, пожелания — не высказывания.
Рассмотрим каждое предложение:
1) Включи монитор.
- Тип: команда/императив. Не высказывание.
- Обоснование: не имеет значения истинности; это приказ.
2) Кислород это газ.
- Тип: высказывание (утверждение).
- Обоснование: содержит утверждение о естественном свойстве кислорода; можно проверить на истинность.
3) Шишка это цветок.
- Тип: высказывание.
- Обоснование: делает утверждение о природе предмета; можно проверить, истинно или ложное.
4) Сколько воды утекло?
- Тип: вопрос.
- Обоснование: не высказывание, потому что не выражает утверждение к истинности.
5) Все дети учащиеся.
- Тип: высказывание.
- Обоснование: утверждает обобщение; можно проверить истинность (как правило, это ложное утверждение, так как не все дети являются учащимися в данный момент).
6) Хотя бы один пароль будет верным.
- Тип: высказывание.
- Обоснование: утверждает существование по меньшей мере одного пароля, который верен. Это proposition; истинность зависит от контекста (полезно рассмотреть как: существует ли такой пароль в заданной системе).
Итого:
- Высказывания: 2, 3, 5, 6.
- Не высказывания: 1, 4.
Часть 2. Определите истинность высказываний.
Здесь приводятся конкретные истинностные значения. Примечание: некоторые формулировки могут быть неоднозначны без контекста; там, где требуется уточнение, я дам пояснение.
1) 123 это цифра.
- Ответ: Ложно.
- Обоснование: цифра — это элемент множества {0,1,2,3,4,5,6,7,8,9}. 123 — это число, состоящее из трёх цифр, а не itself цифра.
2) Слово «стол» — это существительное.
- Ответ: Истина.
- Обоснование: в русском языке слово стол является существительным.
3) Число 46 является степенью числа 2.
- Ответ: Ложно.
- Обоснование: степени числа 2 даёт 1, 2, 4, 8, 16, 32, 64, …; 46 не входит в этот ряд.
4) Значение выражения а = равно 0,75. x+y 3
- Внимание к формулировке: запись неоднозначна и некорректна.
- По-разному можно трактовать:
- Вариант A: считать как два отдельных утверждения: (а = 0,75) и (x + y = 3). Тогда каждая часть требует конкретных значений a, x и y; без них истинность определить нельзя.
- Вариант B: это не одно корректное математическое выражение; часть после точки выглядит как две части «а = 0,75» и «x+y=3». В таком виде корректной оценки нет.
- Вывод: при текущей записи истинность определить нельзя. Требуется уточнение или разделение на конкретные формулировки: «a = 0,75» и «x + y = 3» с заданными значениями a, x и y.
5) Железо легче воды.
- Ответ: Ложно.
- Обоснование: плотность железа примерно 7,87 г/см³, плотность воды ~1 г/см³. По этому железо тяжелее воды, то есть выражение «легче» неверно.
Часть 3. Постройте отрицания высказываний.
Для каждого высказывания запишем естественное отрицание.
1) Соня любит рисовать.
- Оригинал: Соня любит рисовать.
- Отрицание: Соня не любит рисовать.
2) Миша не может пойти в кино.
- Оригинал: Миша не может пойти в кино.
- Отрицание: Миша может пойти в кино.
- Примечание: здесь отрицание снимает модальный оттенок «не может» и заменяет его на противоположное «может».
3) Все планеты не имеют атмосферы.
- Оригинал: Все планеты не имеют атмосферы. (Текст говорит про отсутствие атмосферы у всех планет.)
- Отрицание по формальной логике: Существует планета, которая имеет атмосферу.
- Естественный вариант отрицания: Некоторые планеты имеют атмосферу. (или: Существует по крайней мере одна планета с атмосферой.)
Дополнительно полезные замечания по логике:
- Отрицание к всеобщему утверждению «для всех x: P(x)» — это «существует x: не P(x)».
- Отрицание к существующему утверждению «существует x: P(x)» — это «для всех x: не P(x)».
- В бытовой речи часто удобнее говорить «некоторые» или «существует хотя бы один».
Если хочешь, могу привести ещё больше примеров с различными количественными формулировками (всё/никто/кто-то/никакой). Также могу помочь переписать неясные формулировки задачи (например, исправить пункт 4 во втором разделе) и повторно определить истинности после уточнений.