Определение 16.12. Утверждение, которое является верным, называется истинным.Определение 16.13. Утверждение, которое является неверным, называется ложным.Определение 16.14. Высказыванием называется любое утверждение, о котором можно сказать, истинно оно или ложно.
Из определения 16.14 вытекает
Свойство 16.5. Всякое высказывание является либо истинным, либо ложным (закон исключенного третьего).Свойство 16.6. Никакое высказывание не может быть одновременно истинным и ложным (закон противоречия).Свойство 16.7. Предложение, о котором невозможно однозначно решить вопрос, истинно оно или ложно, высказыванием не является.
Из определения 16.14 вытекает
Свойство 16.5. Всякое высказывание является либо истинным, либо ложным (закон исключенного третьего).Свойство 16.6. Никакое высказывание не может быть одновременно истинным и ложным (закон противоречия).Свойство 16.7. Предложение, о котором невозможно однозначно решить вопрос, истинно оно или ложно, высказыванием не является.