Ответы на экзаменационные вопросы. Введение





Скачать 389.99 Kb.
НазваниеОтветы на экзаменационные вопросы. Введение
страница6/11
Дата публикации19.06.2013
Размер389.99 Kb.
ТипЭкзаменационные вопросы
100-bal.ru > Математика > Экзаменационные вопросы
1   2   3   4   5   6   7   8   9   10   11

2.3. Формулы логики предикатов и их классификация


Формулы логики предикатов строятся из предметных и предикатных переменных, символов логических операций ¬, , , →, ↔, , и знаков пунктуации ( , ). Назначение предметных переменных - обозначать возможные предметы, назначение предикатных переменных- обозначать возможные предикаты. Иначе говоря, предметная и предикатная переменные - это некоторые буквы, вместо которых можно иногда подставлять в качестве значений конкретные предметы и конкретные предикаты соответственно. В дальнейшем в их роли будут употребляться соответственно малые и большие буквы конца латинского алфавита, возможно, с индексами. Предикатные переменные со значениями n-местных предикатов называются n-местными предикатными переменными. При n = 0 они являются высказывательными переменными.

Индуктивное определение формулы логики предикатов:









Подформулой элементарной формулы является сама формула; подформулами составных формул, кроме них самих, считаются все подформулы их составляющих F1 и F2.

Относительно правил опускания и расстановки скобок в формулах: кванторы связывают сильнее других операций.

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

Простейшие тавтологии логики предикатов получаются из тавтологий алгебры высказываний.

Приведем некоторые новые тавтологии:

2.4. Равносильность и логическое следование формул логики предикатов


Формулы F и G называют эквивалентными, или равносильными, и пишут F= G, если при любой интерпретации они выражают одинаковые предикаты.

Очевидно, что все равносильности, имеющие место в исчислении высказываний, переносятся в исчисление предикатов.

Равносильные преобразования позволяют приводить формулы к тому или иному более удобному виду.





Теорема.

Для каждой формулы логики предикатов существует равносильная ей приведенная форма.
1   2   3   4   5   6   7   8   9   10   11

Похожие:

Ответы на экзаменационные вопросы. Введение iconОтветы на экзаменационные вопросы по истории.
Вопросы и ответы на экзаменационные вопросы по истории.
Ответы на экзаменационные вопросы. Введение iconЭкзаменационные вопросы по культурологии
А. П. Позднякова. Ботаника, Зоология, Анатомия, Общая биология конспекты уроков, лабораторные, контрольные работы, интересные статьи,...
Ответы на экзаменационные вопросы. Введение iconЭкзаменационные вопросы с ответами по физкультуре
Вопросы и ответы к теоретической части экзамена по физкультуре
Ответы на экзаменационные вопросы. Введение iconОтветы на экзаменационные вопросы по литературе для 9 класса
Вопросы из вариантов I и II (общеобразовательная школа, 31 и 21 билет соответственно; "старые", "Вестник образования" №4 февраль...
Ответы на экзаменационные вопросы. Введение iconЭкзаменационные билеты для 9кл. (2006) и примерные ответы по билетам...
Биология урок, тест, ответы, билеты, биология человека, общая биология, егэ 2006, школа, олимпиада, тестирование биология, экзамен,...
Ответы на экзаменационные вопросы. Введение iconЭкзаменационные вопросы по бжд для студентов специальности 110203....
Экзаменационные вопросы по бжд для студентов специальности 190603. 65 – «Сервис транспортных и технологических машин и оборудования...
Ответы на экзаменационные вопросы. Введение iconЭкзаменационные вопросы по нормальной физиологии
Содержит ответы на 143 экзаменационных вопроса по охране труда, а также курсы лекций по охране труда
Ответы на экзаменационные вопросы. Введение iconЭкзаменационные вопросы по истории и философии науки Курс «История и философия науки»
Программы курса и экзаменационные вопросы по первым двум частям курса представлены ниже
Ответы на экзаменационные вопросы. Введение iconЭкзаменационные билеты по истории России (9 класс) Девятиклассники!...
Билет № Вопрос Древняя Русь в IX – начале XII в.: возникновение государства, древнерусские князья и их деятельность
Ответы на экзаменационные вопросы. Введение iconЭкзаменационные вопросы интернет-курсов интуит (intuit): 192. Введение...
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
Ответы на экзаменационные вопросы. Введение iconЭкзаменационные вопросы интернет-курсов интуит (intuit): Введение...
Анооспо «Оренбургский колледж менеджмента, туризма и гостиничного сервиса» (техникум)
Ответы на экзаменационные вопросы. Введение iconЭкзаменационные билеты для 9кл. (2006) и примерные ответы по билетам...
А. П. Позднякова. Ботаника, Зоология, Анатомия, Общая биология конспекты уроков, лабораторные, контрольные работы, интересные статьи,...
Ответы на экзаменационные вопросы. Введение iconЭкзаменационные билеты для 9кл. (2006) и примерные ответы по билетам...
А. П. Позднякова. Ботаника, Зоология, Анатомия, Общая биология конспекты уроков, лабораторные, контрольные работы, интересные статьи,...
Ответы на экзаменационные вопросы. Введение iconСодержание введение Глава I. Из истории создания религиозных учебных заведений
А. П. Позднякова. Ботаника, Зоология, Анатомия, Общая биология конспекты уроков, лабораторные, контрольные работы, интересные статьи,...
Ответы на экзаменационные вопросы. Введение iconЭкзаменационные билеты по литературе для 9 класса Билет №1 «Слово о полку Игореве»
На этапе окончания основной школы девятиклассники, выбравшие экзамен по литературе, сдают его, как правило, в устной форме (собеседование,...
Ответы на экзаменационные вопросы. Введение iconОтветы на экзаменационные вопросы интернет-курсов интуит (intuit): 138. Микроэкономика фирмы
Администрация региона Х ввела запрет на вывоз бананов со своей территории (бананы – главный продукт потребления жителей региона)....


Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
100-bal.ru
Поиск