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

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

Правила вывода

Нужна помощь в написании работы?

Вывод заключения из множества посылок записывается так же, как в исчислении высказываний

F1;F2;¼Fn|¾ B, где слева от знака “|¾” записывают множество формул посылок и необходимые аксиомы F1;F2;¼Fn, а справа – формулу заключения B. Тогда знак “|¾” означает “верно, что B выводима из F1;F2;¼Fn.

Отношение логического вывода эквивалентно теореме

|¾F1;F2;¼Fn®B.

Правила выводаДругая форма записи :        F1; F2;¼Fn     

B,

где над чертой записывают множество посылок и аксиом F1;F2;¼Fn, а под чертой заключение B.

Для организации вывода заключения из множества посылок используют правила подстановки и правила заключения.

Покори английский в игровой форме! Основные преимущества:

  • Занимайся с любого девайса
  • Тренируйся с азартом
  • Выбирай интересные материалы
  • Проходи увлекательные языковые курсы
  • Учись со львом играючи

Начать изучать бесплатно