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

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

Правила заключения

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

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

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

Существует два основных правила определения истинности заключения:

а) если F1 и (F1®F2) выводимые фор­мулы, то F2 также выводима. Это - правило modus ponens (m.p).

Правила заключенияF1; (F1®F2)

                                    F2.

b) если ùF2 и (F1®F2) выводимые формулы, то ùF1 также. выводима. Это - правило modus  tollens (m.t).

ùПравила заключенияF2; (F1®F2)

                                    ùF1.

 

Эти правила определяют схему вывода и позволяют использовать правила подстановки, введения и удаления кванторов и делать вывод об истинности заключения.

     

 

 

Случайная новость