Форум студентов МТИ

Вернуться   Форум студентов МТИ > Основной раздел > Тесты

Важная информация

 
 
Опции темы Опции просмотра
Старый 02.12.2015, 17:57   #1
НатальяС
Новичок
 
Регистрация: 02.12.2015
Сообщений: 2
Сказал спасибо: 0
Поблагодарили 0 раз(а) в 0 сообщениях
По умолчанию матлогика

помогите пожалуйста сделать:Доказать, что для любой формулы существует эквивалентная ей формула с тесными отрицаниями, т.е. формула, в которой нет символа → и отрицания относятся только к пропозициональным переменным.
НатальяС вне форума   Ответить с цитированием
 

Опции темы
Опции просмотра

Ваши права в разделе
Вы не можете создавать новые темы
Вы не можете отвечать в темах
Вы не можете прикреплять вложения
Вы не можете редактировать свои сообщения

BB коды Вкл.
Смайлы Вкл.
[IMG] код Вкл.
HTML код Выкл.

Быстрый переход


Текущее время: 20:06. Часовой пояс GMT +4.


Powered by vBulletin® Version 3.8.12 by vBS
Copyright ©2000 - 2024, vBulletin Solutions, Inc. Перевод: zCarot