 найти предваренная нормальная форма |
Здравствуйте, гость ( Вход | Регистрация )
  |
| lana1002001 |
 9.2.2011, 13:46
Сообщение
#1
|
|
Школьник  Группа: Продвинутые Сообщений: 16 Регистрация: 10.11.2010 Город: Москва Учебное заведение: МГУ Вы: студент  |
Имеется выржение:
(∃x)(Q(x,y) )→(∀z)(R(t,z)→¬(∃x)(Q(x,y) )) Можно ли использовать ¬(∃x)(P(x) )=(∀x)¬(P(x)) для решения. |
   |
 
|
|
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | Сейчас: 27.5.2025, 19:06 |
Книжки в помощь: "Сборник заданий по высшей математике" Кузнецов Л.А., "Сборник заданий по высшей математике" Чудесенко В.Ф., "Индивидуальные задания по высшей математике" Рябушко А.П., и другие.
Русская версия Invision Power Board
v2.1.7 © 2025 IPS, Inc.
Зеркало сайта Решебник.Ру - reshebnik.org.ru