Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Всякий 0-местный предикатный символ (пропозициональная переменная) есть формула логики предикатов


Лекция 7. Формулы логики предикатов

Формула логики предикатов – это:

2) Всякий n-местный предикатный символ , где – свободные предметные переменные, есть формула.

3) Если и – формулы логики предикатов, то выражения также являются формулами.

4) Если F – формула, в которую предметная переменная х входит свободно, то и – формулы, в которых предметная переменная х связана, а те предметные переменные, кроме х, которые были свободны в F, свободны и в новых формулах, и те предметные переменные, которые были связаны в F, связаны и в новых формулах.

5) Никаких других формул, кроме тех, которые получающихся согласно пунктам 1 – 4, в логике предикатов нет.

 

 

Формула логики предикатов превращается в конкретный предикат при подстановке вместо всех ее предикатных переменных конкретных предикатов.

Формула логики предикатов называется выполнимой (опровержимой) на множестве М, если при некоторой подстановке вместо предикатных переменных конкретных предикатов, заданных на этом множестве, она обращается в выполнимый (опровержимый) предикат.

Подобным образом определены тождественно истинные и тождественно ложные формулы логики предикатов.

 

<== предыдущая лекция | следующая лекция ==>
Гидрохимические фации | Лекция 8. Две формулы F и H логики предикатов называются равносильными на множестве M, если при любой подстановке в эти формулы вместо предикатных переменных любых

Дата добавления: 2014-01-04; Просмотров: 565; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



ПОИСК ПО САЙТУ:


Читайте также:
studopedia.su - Студопедия (2013 - 2022) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление
Генерация страницы за: 0.017 сек.