<<
>>

2.9. Некоторые теоремы теории £

Множество теорем теории £ бесконечно. Рассмотрим некоторые из них.

1. (закон двойного отрицания).

2. (закон двойного отрицания).

3. (из ложного что угодно).

4. (закон де Моргана)

5. (закон де Моргана)

и т. д.

(Вывод законов см. Ф.А. Новиков “Дискретная математика для программистов”, стр.114).

Теорема. Теоремами теории £ являются только общезначимые формулы.

Следствие. Теория £ формально непротиворечива.

Выводы.

1. Можно задать некоторые правила преобразования формул, которые обладают свойством: при применении к общезначимым формулам они дают в результате общезначимые формулы. Такими правилами являются правила вывода.

2. Можно задать конечное число общезначимых формул таких, что любая общезначимая формула может быть получена из них с помощью правил вывода.

<< | >>
Источник: Викентьева О. Л.. Математическая логика и теория алгоритмов. Конспект лекций для студентов специальностей АСУ, ЭВТ, КЗИ. Пермь, 2007г.. 2007

Еще по теме 2.9. Некоторые теоремы теории £:

  1. § 29. Некоторые теоремы о дифференцируемыхфункциях
  2. 1.1. Теории профессионального развития
  3. § 68. Во-вторых: законы и теории, коренящиеся в этих категориях
  4. Рост знания: теории и проблемы I
  5. Теория объективной истины как соответствия фактам
  6. О некоторых терминах ТЕОРИЯ ЛИНГВИСТИКИ ЛИНГВИСТИКИ.
  7. 1.4.Теория пенализации общественно-опасных деяний как раздел уголовно-правовой науки
  8. СПИСОК ЛИТЕРАТУРЫ, РЕКОМЕНДУЕМОЙ ДЛЯ ПОДГОТОВКИ К ГОСУДАРСТВЕННОМУ ЭКЗАМЕНУ ПО ТЕОРИИ ГОСУДАРСТВА И ПРАВА
  9. Источниковедческая база курса «Теория государства и права переходного периода»
  10. Предельные теоремы.
  11. Андреас Каппелер «Россия — многонациональная империя»: некоторые размышления восемь лет спустя после публикации книги
  12. Особенности функционирования теорий. Математический аппарати его интерпретация
  13. О НЕКОТОРЫХ ВОПРОСАХ ТЕОРИИ РУССКОЙ ЛЕКСИКОГРАФИИ