Напишем:


✔ Реферат от 200 руб.
✔ Контрольную от 200 руб.
✔ Курсовую от 500 руб.
✔ Решим задачу от 20 руб.
✔ Дипломную работу от 3000 руб.
✔ Другие виды работ по договоренности.

Узнать стоимость!

Не интересно!

 

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

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

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

Выводом формулы В из множества формул F1; F2; . . . Fn  называется такая последовательность формул, что любая Fi  есть либо аксиома, либо непосредственно выводима из подмножества предшествующих ей формул F1; F2; . . . Fn.

В этом случае формулу B называют заключением, а последовательность формул F1; F2; . . . Fn, сформированная отношением логического вывода, представляет схему дедуктивного вывода.

      Схему дедуктивного вывода записывают так:

        F1; F2; . . . Fn |¾ B,

где символ  |¾  означает  “верно, что B выводима из F1; F2;... Fn“.

Есть определенная связь между отношением логического вывода в схеме дедуктивного вывода и импликацией в схеме закона алгебры высказываний .

Этот факт записывают так:

F1&F2&. . . &Fn®B.

Известна  другая форма записи дедуктивного вывода формулы В:

Правила выводаF1; F2; . . . Fn

B,

где над чертой записывают множество посылок и аксиом F1; F2;...Fn, а под чертой заключение В, принимающее значение “истины” при истинности всех посылок.

 

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

  • Задание 3
      Обобщите понятия:1) Общественное...