Форум
» Назад на решение задач по физике и термеху
Регистрация | Профиль | Войти | Забытый пароль | Присутствующие | Справка | Поиск

» Добро пожаловать, Гость: Войти | Регистрация
    Форум
    Математика
        Математическая логика и теория алгоритмов
Отметить все сообщения как прочитанные   [ Помощь ]
» Добро пожаловать на форум "Математика" «

Переход к теме
<< Назад Вперед >>
Одна страница
Модераторы: Roman Osipov, RKI, attention, paradise
  

MustDie


Удален

Не обходимо доказать тождество ФОРМАЛЬНО и ОЧЕВИДНО: (А\В)*С=(А*С)\(В*С).

Испробывал уже больше 5 вариантов, все неправильные. Кто свой предложит?;)

Всего сообщений: N/A | Присоединился: N/A | Отправлено: 13 апр. 2005 12:05 | IP
dm


Удален

По определению разности множеств и декартового произведения множеств. Запишите, какие элементы принадлежат левой части равенства. Запишите, какие правой. Убедитесь, что это одни и те же.

Всего сообщений: N/A | Присоединился: N/A | Отправлено: 13 апр. 2005 12:12 | IP
MustDie


Удален

....вышлите на ccc@nestar.ru полное решение, .т.к. я делаю абсолютно так же, но мне все равно говорят неправильно.

Всего сообщений: N/A | Присоединился: N/A | Отправлено: 14 апр. 2005 6:32 | IP
dm


Удален

Повторю здесь то же, что сказал Вам в ПМ:
если хотите, напишите здесь свое решение - участники форума посмотрят.

Всего сообщений: N/A | Присоединился: N/A | Отправлено: 14 апр. 2005 12:58 | IP
shishkin21



Новичок

надеюсь тема не заброшена, помогите доказать теорему в исчислении предикатов, Если доказуема A(x), то доказуема кванторсуществования A(x)

Всего сообщений: 1 | Присоединился: январь 2013 | Отправлено: 6 янв. 2013 17:33 | IP
theanton3389



Новичок

Как найти нормальную конъюнктивную и дизъюнктивную нормальную форму для формулы? подскажите алгоритм действий
http://cs624722.vk.me/v624722316/9f4f/G-MpiWpLw9g.jpg


(Сообщение отредактировал theanton3389 16 нояб. 2014 16:39)

Всего сообщений: 1 | Присоединился: ноябрь 2014 | Отправлено: 16 нояб. 2014 16:28 | IP
imperceptible



Новичок

помогите пожалуйста вывести формулу по шагам с помощью аксиом, свойств и правила MP
В теории L ((A->B)->A)->A

и еще помогите пожалуйста доказать теорему о полноте (вторая часть): Всякая тавтология A-И=> является тавтологией теории L.
Заранее огромное спасибо

Всего сообщений: 1 | Присоединился: ноябрь 2016 | Отправлено: 12 нояб. 2016 1:04 | IP
OplohMox



Новичок

Ой, я если найду про эти тождества, я скину вам методичку, у меня хорошая была.

Всего сообщений: 5 | Присоединился: февраль 2017 | Отправлено: 16 фев. 2017 23:49 | IP

Отправка ответа:
Имя пользователя   Вы зарегистрировались?
Пароль   Забыли пароль?
Сообщение

Использование HTML запрещено

Использование IkonCode разрешено

Смайлики разрешены

Опции отправки

Добавить подпись?
Получать ответы по e-mail?
Разрешить смайлики в этом сообщении?
Просмотреть сообщение перед отправкой? Да   Нет
 

Переход к теме
<< Назад Вперед >>
Одна страница

Форум работает на скрипте © Ikonboard.com