<<
>>

3.2 Критерий выводимости в ИВ.

3.2.1 Формулировка теоремы.

- тавтология

при любой интерпретации алфавита (символов переменных)

3.2.2 Понятие интерпретации.

символ переменной переменную поставим в соответствие.

, где - проекция на .

; - только символ

переменных, т.к.

это заглавное слово

формативной последо-

вательности вида:

Где:

3.2.3 Доказательство теоремы.

формальный

вывод

(1)

<< | >>
Источник: Конспекты лекций по математической логике. 2017

Еще по теме 3.2 Критерий выводимости в ИВ.:

  1. 1. Критерий существования сверхчувственных нефизических сущностей. "
  2. Приложение Учебная программа
  3. ПОЗИТИВИЗМ. О. КОНТ. Г СПЕНСЕР
  4. 6. Фальсифицируемость как критерий демаркации
  5. Уровни универсальности. Modus tollens
  6. КРИТЕРИЙ ЭМПИРИЧЕСКОГО ХАРАКТЕР ТЕОРЕТИЧЕСКИХ СИСТЕМ[103]
  7. ГЛАВА 1. НАУКА: ПРЕДПОЛОЖЕНИЯ И ОПРОВЕРЖЕНИЯ[107]
  8. ТЕОРИЯ.
  9. Формула изобретения (полезной модели)
  10. 5. Методология научно-исследовательских программ (И. Лакатос)
  11. 3.3.1.1 Обращение к семиотике
  12. 3.5 Формирование представлений о конвенционализме в философии науки Венского кружка
  13. 6.1 Номинализм в аналитической философии
  14. 7.2 Концепция онтологической относительности и холистический тезис Куайна
  15. 8.1 Стандартная семантика Д.Дэвидсона
  16. 10.9 Аргументы когерентной теории обоснования и перцептуальные утверждения
  17. 12.2 Аналитические модели объяснения
  18. Знание как сознательный феномен Катречко С.Л.