АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

Опр. 4

Не существует алгоритма, который для любой формулы ЛП устанавливает, общезначима она или нет.

Общезначимость можно установить лишь в частных случаях. (Логика, где употребляются одноместные предикатные символы).

Билет 32.

«Аксиоматические системы. Определения. Требования. Примеры».

Аксиома – общезначимое, или тождественно-истинное высказывание.

Требования к аксиоматической системе:

1. Не противоречивость. (нельзя одновременно док А и А. Не должно быть аксиом, которые можно вывести.)

2. Линейность набора аксиом.

3. Полнота. (Любая общезначимая формула должна быть выводима в данной системе.)

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

Или.

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


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 |

Поиск по сайту:



Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.002 сек.)