Логика. Краткий конспект. Юрий Юрьевич Черноскутов

моделью. С помощью этих понятий мы можем дать более точное определение отношению следования:

      Высказывание А является логическим следствием из множества высказываний {X}, сокращенно {X} |= А, если и только если каждая интерпретация, делающая истинной все высказывания, входящие в {X}, делает истинным и высказывание А.

      Или короче:

      Высказывание А является логическим следствием из множества высказываний {X}, сокращенно {X} |= А, если и только если каждая модель {X} является моделью А.

      Тема 2

      ЛОГИКА ВЫСКАЗЫВАНИЙ

      Первый, наиболее простой раздел современной логики – это логика высказываний. Простейшим элементом в этом разделе выступает высказывание. Сначала установим некоторые терминологические различения.

      2.1. ВЫСКАЗЫВАНИЕ, СУЖДЕНИЕ, ПРЕДЛОЖЕНИЕ

      Предложение – языковое средство выражения высказывания. Одно и то же высказывание может быть выражено разными предложениями. Например, предложение русского языка «Знание – сила» выражает то же самое высказывание, что и английское предложение «Knowledge is power» или латинское «Scientia potentia est».