Формальный язык логики высказываний. - раздел Математика, КУРС ЛЕКЦИЙ ПО МАТЕМАТИЧЕСКОЙ ЛОГИКЕ
Таблицы Истинности В Логике Высказываний Позволяют Ответить Н...
Таблицы истинности в логике высказываний позволяют ответить на многие вопросы. Например, является ли данная формула тавтологией, противоречием или выполнимой формулой; влечёт ли она логически другую формулу; являются ли две формулы логически эквивалентными. Однако более сложные вопросы логики высказываний не решаются с помощью таблиц истинности. Поэтому в данном параграфе будет рассмотрен новый метод решения логических задач. Это – метод формальных теорий. Хотя основные вопросы в логике высказываний могут быть решены с помощью таблиц истинности, мы проиллюстрируем аксиоматический метод на этой простой ветви логики.
Исторически понятие формальной теории было разработано в период интенсивных исследований в области оснований математики для формализации собственно логики и теории доказательства. Сейчас этот аппарат широко используется при создании специальных исчислений для решения конкретных прикладных задач.
Определение 1: Формальная (аксиоматическая) теория считается определенной, если выполнены следующие условия:
1) Задано счетное множество символов – алфавит теории. Конечные последовательности символов алфавита называются выражениями теории.
2) Имеется подмножество выражений теории, называемых формулами теории (грамматика языка).
3) Выделено некоторое множество формул, называемых аксиомами теории.
4) Имеется конечное множество отношений между формулами, называемых правилами вывода (синтаксис языка теории). Для каждой из формул и данной формулы можно выяснить, является ли данная формула в одном из отношений с формулами. Если да, то формулу называют непосредственным следствием исходных формул по данному правилу вывода.
Определение 2: Выводом называется всякая последовательность формул , такая, что для любого формула является либо аксиомой данной теории, либо непосредственным следствием каких-либо предыдущих формул по одному из правил вывода.
Определение 3: Формула в некоторой теории называется теоремой теории, если существует вывод в данной теории, в котором последней формулой является ; такой вывод называется доказательством формулы .
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ УКРАИНЫ... ВОСТОЧНОУКРАИНСКИЙ НАЦИОНАЛЬНЫЙ УНИВЕРСИТЕТ... имени ВЛАДИМИРА ДАЛЯ...
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ:
Формальный язык логики высказываний.
Что будем делать с полученным материалом:
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Упражнения для самостоятельной работы.
1. Даны следующие высказывания:
P = «Данное число – целое»,
Q = «Данное число – положительное»,
R = «Данное число – простое»,
S = «Данное число
Формулы алгебры логики. Тавтологии.
В алгебре выводятся формулы, которые остаются верными, какие бы числа не подставляли вместо букв, входящих в эти формулы. Подобным образом в алгебре высказываний конструируются формулы из некоторых
Алгоритм преобразования произвольной формулы в СНДФ.
1) Выразить все логические операции через конъюнкцию, дизъюнкцию и отрицание.
2) Используя дистрибутивные законы, преобразовать формулу так, чтобы все конъюнкции выполнялись раньше дизъюнк
Определения.
В математике принято одной и той же буквой обозначать различные объекты, т. е. под буквой фактически понимается переменная, принимающая значения из некоторого множества. Такие перем
Упражнения для самостоятельной работы.
1. Записать следующие высказывания в виде формул логики предикатов.
1) Всякое натуральное число, делящееся на 12, делится на 2, 4 и
Упражнения для самостоятельной работы.
1.Записать на языке логики предикатов аксиому математической индукции.
2. Записать на языке логики предикатов следующую те
Теорема Поста.
В предыдущем параграфе были рассмотрены некоторые классы булевых функций. В каждый класс попадают функции, обладающие определённым свойством. Для удобства введём сле
Новости и инфо для студентов