Онлайн школа английского языка нового поколения. Более 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.
Эти правила определяют схему вывода и позволяют использовать правила подстановки, введения и удаления кванторов и делать вывод об истинности заключения.