0

С чего начать построение дерева доказательств и графа дедуктивного вывода
посылки (A->(B->C)); (HE D v A); B вывод D->C

задан 29 Окт '12 19:15

изменен 31 Окт '12 22:36

10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

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

отмечен:

×526

задан
29 Окт '12 19:15

показан
1621 раз

обновлен
31 Окт '12 22:36

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

Парадокс Монти Холла -- ошибка?

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

1 Счет времени на Тауките

0 Кто где стоит?

0 Доказать, что произведение равно четному числу

0 Разгадать полиндром

0 Дискретная-математика - Разрешимость простых чисел

1 Функциональная полнота набора функций

0 Логика, логические операции

0 Логика высказываний

1 Игра в числа

0 Как расчленить составные высказывани?

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

по почте:

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

по RSS:

Ответы

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

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru