Автор: Пользователь скрыл имя, 03 Апреля 2013 в 03:00, доклад
Предикатом називають функціональне висловлювання, а висловлювання - предикатною константою. Логіка предикатів - це розширення логіки висловлювань за рахунок використання предикатів в ролі логічних функцій. Ці функції дещо відмінні від функцій Буля. Булеві функції однорідні, тобто, і область значень і область зміни аргументів або істинні, або хибні. Для предикатів область зміни логічна, а область значень - предметна. Розглянемо приклади логічних функцій.