привет!!
Вот собственно нужна помощь в объяснении
весь материал основывался на Дискретке Яблонского
а эта книга не для самостоятельного изучения
и ни одного пример решения таких задач в материалах
не дается
-----------------------------
-----------------------------
# - квантор всеобщности
$ - квантор существования
---------------------------
Дана формула
#x(P(x)&Q(x)>R(x))
---------------------------
в которой предикаты определены
на множестве натуральных чисел
-----------------------------
найти значение этой формулы, если
--------
Предикаты
P(x)- число делится на 3 без остатка
Q(x)- число делится на 4 без остатка
R(x)- число делится на 2 без остатка
& - конъюнкта
> - импликация
Эх... то, что я сейчас напишу - или полная чушь, или правильно Не-по научному, вроде, но на Алгебре логики мы задачки так тоже решали
1 способ: без формул
trminator
дык и не понятно чему равно x
хоть убей
:p2:
Да, забыл написать
true
trminator
СПАСИБО помотрим