математика - Методом резолюции доказать теорему |- (A->B)^(A->неB)->неA

0	Методом резолюции доказать теорему \|- (A->B)&(A->неB)->неA высшая-математика математика дискретная-математика математическая-логика задан 13 Янв '14 0:25 soffka 1●2 10\|600 символов нужно символов осталось

1 ответ

старые новые ценные

ЗАДАЧА ИП-8 R
Доказать теорему "прямым" методом и методом резолюции:

Посылки - Каждый философ – мудрец. - Каждый, кто является мудрецом и обладает интуицией, может предсказать будущее. - Сенека – философ и обладает интуицией. Доказать: Сенека может предсказать будущее.

ссылка

отвечен 29 Май '16 2:57

rodrigues
1

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

регистрация »

отмечен:

математика ×4,463
дискретная-математика ×2,168
высшая-математика ×2,149
математическая-логика ×1,234

задан
13 Янв '14 0:25

показан
1701 раз

обновлен
29 Май '16 2:57

Связанные исследования

Связанные вопросы

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии