ВВЕДЕНИЕ 2
ГЛАВА 1. ОПЕРАЦИИ НАД ПРЕДИКАТАМИ 4
1.1. Понятие предиката 5
ГЛАВА 2. ЛОГИЧЕСКИЕ ОПЕРАЦИИ НАД ПРЕДИКАТАМИ 11
2.1. Логика первого порядка 11
2.2. Логические операции над предикатами 15
2.3. Логика высказываний 17
СПИСОК ЛИТЕРАТУРЫ 22
Краткое содержание работы:
ВВЕДЕНИЕ
Предикат (n-местный, или n-арный) — это функция с множеством значений {0,1} (или «ложь» и «истина»), определённая на множестве . Таким образом, каждый набор элементов множества M он характеризует либо как «истинный», либо как «ложный».
Предикат можно связать с математическим отношением: если n-ка принадлежит отношению, то предикат будет возвращать на ней 1.
Предикат — один из элементов логики первого и высших порядков. Начиная с логики второго порядка, в формулах можно ставить кванторы по предикатам.
Предикат называют тождественно-истинным и пишут:
если на любом наборе аргументов он принимает значение 1.
Предикат называют тождественно-ложным и пишут:
если на любом наборе аргументов он принимает значение 0.
Предикат называют выполнимым, если хотя бы на одном наборе аргументов он принимает значение 1.
Так как предикаты принимают только два значения, то к ним применимы все операции булевой алгебры, например: отрицание, импликация, конъюнкция, дизъюнкция и т. д
Например, обозначим предикатом EQ(x, y) отношение равенства («x = y»), где x и y принадлежат множеству вещественных чисел. В этом случае предикат EQ будет принимать истинное значение для всех равных x и y.
Более житейским примером может служить предикат ПРОЖИВАЕТ(x, y, z) для отношения «x проживает в городе y на улице z» или ЛЮБИТ(x, y) для «x любит y», где множество M — это множество всех людей.
Предикат — это то, что утверждается или отрицается о субъекте суждения.
Целью курсовой работы является рассмотрение логических операций над предикатами.
Задачами курсовой работы является:
- рассмотрение понятия предиката;
- анализ логических операций над предикатами;
- изучение логики первого порядка;
- рассмотрение логических операций над предикатами и логики высказываний.
Курсовая работа состоит из введения, двух глав, заключения и списка использованной литературы.
В нашей компании вы можете заказать консультацию по любой учебной работе от 300 руб. Оформите заказ, а договор и кассовый чек послужат вам гарантией сохранности ваших средств. Кроме того, вы можете изменить план текущей работы на свой, а наши авторы переработают основное содержание под ваши требования