Высказывания

1. Высказывания и предикаты

1) Высказывания


Основным понятием мат. логики являются высказывания.
Высказывание - это любое повествовательное предложение, относительно которого известно,           что оно либо ложно, либо истинно, но не то и другое одновременно.

Обозначения:

Ложно: Л; F; 0
Истинно: И; T; 1

Высказывания могут быть выражены с помощью слов, физических, математических, химических и иных формул. Обозначаются заглавными латинскими буквами.

Примеры:
А = "Марс дальше от Солнца, чем Венера" - И
В = "2+6>8" - Л
С = "V=S*t" - при равномерном прямолинейном движении это И
D = "В пределах галактики существует внеземная цивилизация" - неизвестна истина
Е = "Какого цвета этот дом?" - не высказывание
Н = "Пейте томатный сок" - не высказывание

Не являются высказываниями определения, т.к. лищь устанавливают название некоторого объекта. Они не могут быть "И" или "Л", а лишь фиксируют принятое использование терминов.
Пример: 
"Ромб - четырехугольник, у которого все стороны равны" - не высказывание

Также не являются высказываниями предложения, которые иногда могут быть "И", а иногда - "Л".
Пример:
"Он написал "Войну и Мир"
"2(х^2)+x=0"
Такие предложения называются высказывательными формами или предикатами.