задача - Помощь студентам

света9627 · 11.01.2013, 23:11

Запишите без использования квантора ∃! предикат, утверждающий, что для функ-
ции $#119891; : {1, 2, 3, 4, 5} → {1, 2, 3, 4, 5} существует единственный элемент $#119909; ∈ {1, 2, 3, 4, 5},
который функция $#119891; уменьшает, и отрицание этого факта.

Abstraction · 12.01.2013, 01:30

Существует элемент x, такой, что на множестве [1..5] за вычетом этого элемента f(t)>=t и f(x)<x.
Отрицание строится по каноническим правилам.

Похожие темы
Тема	Автор	Раздел	Ответов	Последнее сообщение
Задача по подсчёту статистики использования букв. Другая задача - по длинной арифметике Pascal ABC	kimberly	Паскаль, Turbo Pascal, PascalABC.NET	3	24.12.2012 17:03
задача на структуру(struct)/задача на работу с файлом	SevenArth	Помощь студентам	0	26.04.2012 19:06
Задача на оптимальный расчет маршрута (задача в презентации) в табличном процессоре Excel	Toofed	Помощь студентам	0	30.11.2011 01:12
Задача минимизации дисбаланса на линии сборки (задача минимакса)	LenZab	Microsoft Office Excel	13	13.03.2011 22:51

11.01.2013, 23:11	#1
света9627 Новичок Джуниор Регистрация: 11.01.2013 Сообщений: 4	задача Запишите без использования квантора ∃! предикат, утверждающий, что для функ- ции $#119891; : {1, 2, 3, 4, 5} → {1, 2, 3, 4, 5} существует единственный элемент $#119909; ∈ {1, 2, 3, 4, 5}, который функция $#119891; уменьшает, и отрицание этого факта.

12.01.2013, 01:30	#2
Abstraction Старожил Регистрация: 25.10.2011 Сообщений: 3,178	Существует элемент x, такой, что на множестве [1..5] за вычетом этого элемента f(t)>=t и f(x)<x. Отрицание строится по каноническим правилам.