Элементы математической логики#
Определение высказывания#
Высказывание - предложение на естественном языке, об истинности или ложности которого можно однозначно судить.
Примеры
- Луна - спутник Марса
- 2 + 3 = 5
- 100 - очень большое число (не высказывание, так как нельзя однозначно судить об истинности)
Определение предиката#
Предикат - предложение, содержащие одну или несколько переменных, которое становится выражением если все переменные заменить на конкретные значения.
Примеры
- Меня зовут Маша (при подстановке конкретного лица место меня становится высказыванием)
- x + 3 = 5
Над статьей работали:
- Лавелин Михаил (Тг): редактор
Выражаем благодарность:
- Олегу Вадимовичу, за конспект для данной статьи