Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Система аксиом исчисления предикатов

⇐ Предыдущая567891011121314Следующая ⇒


Правила вывода в исчислении предикатов.

Общезначимые формулы.

Общезначимость аксиом ИП.

Определение. Формула А называется общезначимой тогда и только тогда, когда она истинна в каждой интерпретации.

Аксиомы ИП общезначимы.

Доказательство общезначимости доказуемых формул ИП.

⇐ Предыдущая567891011121314Следующая ⇒


Дата публикования: 2015-02-03; Прочитано: 295 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!

studopedia.org - Студопедия.Орг - 2014-2025 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.006 с)...