Версия для печати темы

Автор: Shadow 5.08.2004 5:34

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

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

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

Автор: trminator 5.08.2004 20:09

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

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

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

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

Автор: Shadow 5.08.2004 21:11

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

Автор: trminator 7.08.2004 21:43

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

Автор: Shadow 8.08.2004 15:04

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