Опустить знаки операций отрицания непосредственно на предикаты

Автор темы thumbelina 
ОбъявленияПоследний пост
ОбъявлениеРаботодателям и кадровым агентствам: Размещение вакансий26.03.2008 03:07
ОбъявлениеПравила и принципы форума «Высшая математика»28.10.2009 15:17
ОбъявлениеЗапущен новый раздел «Задачки и головоломки»29.08.2019 00:42
12.05.2019 14:39
Опустить знаки операций отрицания непосредственно на предикаты
Задание: Опустить знаки операций отрицания непосредственно на предикаты
Может кто-то помочь?
¯(∀x(∃y(B(y)→P(x)))∧∀yB(y) )
13.05.2019 09:29
хм
конспект с равносильными преобразованиями вам поможет.
13.05.2019 22:31
...
Цитата
thumbelina
Задание: Опустить знаки операций отрицания непосредственно на предикаты
Может кто-то помочь?
¯(∀x(∃y(B(y)→P(x)))∧∀yB(y) )
Не вопрос... какие Вас интересуют предикаты?

Предикат = 30=2*3*5 - это (29+1=30), (23+7=30), (19+11=-30), (17+13=30).

Опускаем знаки операций:

15k+/-2^i, где i=1,2,3,4.

Берёте Паскаль или PL - и пишите в троичной системе - получаете радость в представлении простых чисел в полном объёме...
Извините, только зарегистрированные пользователи могут публиковать сообщения в этом форуме.

Кликните здесь, чтобы войти