Студопедия

Главная страница Случайная лекция

Порталы:

БиологияВойнаГеографияИнформатикаИскусствоИсторияКультураЛингвистикаМатематикаМедицинаОхрана трудаПолитикаПравоПсихологияРелигияТехникаФизикаФилософияЭкономика






Правила для конъюнкции и импликации

Читайте также:
  1. I ФИГУРА ЕЕ ОСОБЫЕ ПРАВИЛА И МОДУСЫ
  2. Внешнеэкономические контракты.(ст.382 ХКУ) Правила ИНКОТЕРМС и расчеты при осуществлении внешнеэкономических операций.
  3. Вопрос 3. Принципы и правила обучения.
  4. Вопрос 4. Правила ведения визуальной ориентировки.
  5. Вопрос 53 - и изменение и раст по одинаковым правилам.
  6. Выбор заготовки и баз при обработке заготовки. Понятие о базах. Правила базирования. Схемы базирования. Погрешность базирования. Условные обозначения базирующих элементов.
  7. Вывихи: понятие, признаки, общие правила оказания первой медицинской помощи
  8. Группы крови, правила переливания крови. Свертывание крови. Гемостаз его регуляция.
  9. Знаки препинания и правила пунктуации
  10. И в первом и во втором правилах используется формула Байеса, в которых условные и безусловные вероятности колебаний погоды построены на предшествовании статистики.
 
  G |– F G |– G
(В&)  
  G |– F & G

 

 

 
  G |– F & G
(У&)  
  G |– F

 

 

G |– F & G
 
G |– G

 

 

 
  G È { F } |– G
(ВÉ)  
  G |– F É G

 

 

 
  G |– F G |– FÉ G
(УÉ)  
  G |– G

 

 

В каждом из этих пяти правил вывода, одно или два выражения над горизонтальной чертой представляют ``посылки'', к которым правило может быть применено, и выражение под чертой представляет ``заключение'' которое выводится по этому правилу. Правила В& и ВÉ – ``правила введения'' конъюнкции и импликации; У& и УÉ – ``правила удаления''. Подставляя конкретные формулы вместо метапеременных F и G и конкретные конечные множества формул вместо метапеременной G некоторое правило вывода, мы получаем пример этого правила. Например,

{q, r} |– p {p Ú q, r} |– ¬q
 
{q, r, p Ú q} |– p & ¬q

есть пример правила введения конъюнкции.

Пример простого вывода. Выведем формулу q из посылки p & q. Этот вывод получается за один шаг с помощью второго правила удаления конъюнкции.

  {q} |– q
(У&)  
  {p & q} |– q

<== предыдущая страница | следующая страница ==>
Пропозициональные формулы | Правила для отрицания и правила противоречия

Дата добавления: 2014-02-26; просмотров: 138; Нарушение авторских прав


lektsiopedia.org - Лекциопедия - 2013 год. | Страница сгенерирована за: 0.002 сек.