ВУЗ:
Составители:
Рубрика:
53
относящиеся к нескольким множествам. Например, составное высказывание:
можно представить с помощью простых высказываний и логических
операций над ними:
Составное высказывание z-аварийная остановка вращения шпинделя в
этом случае интерпретируется с помощью простых высказываний: с - износ
инструмента превысил норму, но это пока сказывается на качестве
обработки, однако приводит к повышению усилия резания выше нормы b, а
вместе эти два фактора, т.е. связанные логической операцией конъюнкции
"И"-с,b,приводят к высказыванию аварийной остановки. Вэтосложное
высказывание входит в любом случае высказывание а - произошла поломка
режущего инструмента, т.е. случилась ли ситуация с ∧ b или ситуация а -
станок должен быть остановлен.
Аналогичным образом могут быть получены и более сложные со-
ставные высказывания.
2.5. НЕОДНОРОДНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ
Неоднородные функции имеют аргументы, которые могут принимать
значения из различных множеств, однако множество значений неоднородной
функции одно.
Важной разновидностью неоднородных функций является предикат -
двузначная n-местная неоднородная функция. Предикат принимает одно из
двух значений 0-"ложь" и 1-"истина".
Например, предикат P(x
1
,x
2
, ..., x
n
) является n-местным (п аргументов
x
1
, x
2
,..., x
n
) предикатом, принимающим значения 0 или 1 в зависимости от
Страницы
- « первая
- ‹ предыдущая
- …
- 51
- 52
- 53
- 54
- 55
- …
- следующая ›
- последняя »
