В результате изучения материалов этой лекции предполагается, что обучающийся узнает, что такое высказывание, познакомится с основными операциями над высказываниями, узнает, как обозначаются высказывания, а также, какие языковые конструкции на естественном языке соответствуют рассмотренным в видео логическим операциям. Начнём с определения высказывания. Пропозициональным высказыванием (от лат. proposition) или атомарным высказыванием или просто высказыванием называется связное повествовательное предложение, выражающее законченную мысль, о котором можно сказать, истинно оно или ложно...

Утверждения и высказывания С детских лет мы учимся отличать правду от лжи. Мы хотим иметь разумные представления об окружающем мире, а для этого надо пользоваться правдивой информацией. Однако иногда одного здравого смысла может не хватить для того, чтобы понять или объяснить, почему то или иное утверждение истинно или ложно. Нужны правила рассуждений, которые позволяют из верных утверждений получать другие верные утверждения. Всегда ли мы можем сказать, истинно утверждение или нет? О каких из этих утверждений можно сказать, истинны они или нет? 1...