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