Решить задачу

Оформить в Word

3. Решить задачу.

Формализовать рассуждение: Каждый атлет - силён. Каждый, кто силён и

интеллигентен, добьётся в жизни успеха. Петр - атлет и интеллигентен.

Следовательно, Петр добьётся в жизни успеха.

4. Заданы дизъюнкты:

C1: P(x)  R(x),

C2: P(g(y))  Q(y)

Построить резольвенту C1 и C2.

(См скрин)