Логика - доступно для всех

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта

Язык логики суждений, три различные формулы, индуктивное определение

Онлайн школа английского языка нового поколения. Более 7 лет предоставляет обучение английскому языку по Skype (Скайп) и является лидером данного направления! Основные преимущества:

  • Вводный урок бесплатно;
  • Большое число опытных преподавателей (нейтивов и русскоязычных);
  • Курсы НЕ на определенный срок (месяц, полгода, год), а на конкретное количество занятий (5, 10, 20, 50);
  • Более 10 000 довольных клиентов.
  • Стоимость одного занятия с русскоязычным преподавателем - от 600 рублей, с носителем языка - от 1500 рублей

Узнать детали

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

 

Формулы (индуктивное определение):

 

1)       каждая пропозициональная переменная есть формула;

3)       ничто, кроме указанного в пунктах 1 – 2, не есть формула.

 

Пример. «Вы получите положительную оценку по логике тогда и только тогда, когда вы решите все предлагаемые вам задачи и не будете шуметь на лекциях». Обозначим простые высказывания при помощи пропозициональных переменных: p – «Вы получите положительную оценку по логике»; q – «Вы решите все предлагаемые вам задачи»; r – «Вы будете шуметь на лекциях». Тогда получится формула: