Студопедия

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


Мы поможем в написании ваших работ!

Порталы:

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



Мы поможем в написании ваших работ!




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

Читайте также:
  1. I. Основные принципы и идеи философии эпохи Просвещения.
  2. I. Социология как наука об обществе, её предмет и объект. Уровни социологического знания.
  3. II. ОСНОВНЫЕ ФАКТОРЫ РАДИАЦИОННОЙ ОПАСНОСТИ И МЕДИЦИНСКИЕ ПОСЛЕДСТВИЯ ОТ ИХ ВОЗДЕЙСТВИЯ НА ОРГАНИЗМ.
  4. III. Основные политические идеологии современности.
  5. IV.5. Основные тенденции развития позднефеодальной ренты (вторая половина XVII—XVIII в.)
  6. V. АКУСТИЧЕСКИЕ СВОЙСТВА ГОРНЫХ ПОРОД И МАССИВОВ. ОСНОВНЫЕ ФАКТОРЫ, ВЛИЯЮЩИЕ НА АКУСТИЧЕСКИЕ СВОЙСТВА ГОРНЫХ ПОРОД
  7. V6. ОСНОВНЫЕ СЕМАНТИКО-СТИЛЕВЫЕ ОСОБЕННОСТИ ХУДОЖЕСТВЕННОЙ ЛИТЕРАТУРЫ. ОБРАЗ АВТОРА
  8. Адаптация молодых работников и совершенствование социально-психологического климата на производстве
  9. Анализ использования технологического оборудования.
  10. Анализ технологичности изделия и деталей. Основные показатели.

Следующие теоремы определяют условия, при которых можно проверить правильность рассуждений без использования таблиц истинности. Именно на этой теореме основаны все методы логического вывода, как в логике высказываний, так и в логике предикатов, которую мы рассмотрим ниже. Поэтому ее можно назвать основной теоремой логического вывода.

Формула R является логическим следствием формул F1,F2,…,Fk тогда и только тогда, когда импликация (F1&F2& …&Fk ® R) общезначима.

Необходимость. Пусть R является логическим следствием формулы F1F2 … Fk. Докажем общезначимость импликации. Если все формулы F1,F2,…,Fk истинны в некоторой интерпретации, то импликация также истинна, так как R является следствием из этого множества формул и истинна.. Если же в множестве этих формул хотя бы одна ложна, то импликация также истинна. Следовательно, импликация общезначима.

Достаточность. Пусть формула общезначима. Тогда для всякой интерпретации, в которой для всех формулы истинны, формула также истинна. А поскольку общезначимая, в этой конкретной интерпретации формула R также истинная в силу определения импликации.

Формула R является логическим следствием формул F1,F2,…,Fk тогда и только тогда, когда формула невыполнима.

Так как формула общезначима, то ее отрицание невыполнимо. По правилу де Моргана получаем доказательство.

Заметим, что такой способ доказательства проще, чем построение и анализ таблиц истинности.


<== предыдущая страница | следующая страница ==>
Логика высказываний | Семантические таблицы

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




Мы поможем в написании ваших работ!
lektsiopedia.org - Лекциопедия - 2013 год. | Страница сгенерирована за: 0.002 сек.