Дискретная математика, Предикаты :) Опции

[Shadow]

привет!!
Вот собственно нужна помощь в объяснении
весь материал основывался на Дискретке Яблонского
а эта книга не для самостоятельного изучения
и ни одного пример решения таких задач в материалах
не дается
-----------------------------
-----------------------------
# - квантор всеобщности
$ - квантор существования
---------------------------
Дана формула

#x(P(x)&Q(x)>R(x))

---------------------------
в которой предикаты определены
на множестве натуральных чисел
-----------------------------
найти значение этой формулы, если
--------
Предикаты
P(x)- число делится на 3 без остатка
Q(x)- число делится на 4 без остатка
R(x)- число делится на 2 без остатка
& - конъюнкта
> - импликация

[trminator]

Эх... то, что я сейчас напишу - или полная чушь, или правильно Не-по научному, вроде, но на Алгебре логики мы задачки так тоже решали

1 способ: без формул

Код

Для любого x : если x делится и на 3, и на 4, то он делится на два.

Так как х делится на 4, то ежу понятно, что делится и на 2. Добавочное условие, что оно еще и делится на 3, роли не играет.

2 способ: попробую вспомнить формулы. Учебника под рукой нет.
P(x)&Q(x) => R(x)
равносильно:
[P(x) => R(x)] || [Q(x) => R(x)]
Q(x) => R(x) - истина #x

[Shadow]

trminator
дык и не понятно чему равно x
хоть убей
:p2:

[trminator]

Да, забыл написать
true

[Shadow]

trminator
СПАСИБО помотрим