Из определения 16.14 вытекает
Свойство 16.5. Всякое высказывание является либо истинным, либо ложным (закон исключенного третьего).Свойство 16.6. Никакое высказывание не может быть одновременно истинным и ложным (закон противоречия).Свойство 16.7. Предложение, о котором невозможно однозначно решить вопрос, истинно оно или ложно, высказыванием не является.
760+600.4=1360.4км должен проехать поезд