НГУ

Форумы НГУ
Текущее время: Пн авг 26, 2019 10:14 am

Часовой пояс: UTC + 7 часов




Начать новую тему Ответить на тему  [ 1 сообщение ] 
Автор Сообщение
СообщениеДобавлено: Сб июн 13, 2009 1:05 pm 
Не в сети
Редкий гость

Зарегистрирован: Пт июн 12, 2009 10:33 am
Сообщения: 2
волосы дыбом, совсем запуталась:
является ли тавтологией данная ф-ла логики предикатов:
Ax(P(x)\/B)<->B\/(AxP(x))
получить предваренную форму данной ф-лы логики предикатов:
ExP(x)<->AyQ(y)
Ax - квантор общности
Ех - квантор существования
<-> - эквиваленция

_________________
)))))))


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ 1 сообщение ] 

Часовой пояс: UTC + 7 часов


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


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

Найти:
Перейти:  
Создано на основе phpBB® Forum Software © phpBB Group
Русская поддержка phpBB