Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Предваренная нормальная форма
СообщениеДобавлено: 08 май 2014, 06:43 
Не в сети
Начинающий
Зарегистрирован:
08 май 2014, 06:38
Сообщений: 1
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Привести к предваренной нормальной форме,пожалуйста,очень нужно. !

[math]\exists x~\bigl(\overline{\exists y~ P(x,y)}\to (\exists z~Q(z)\to R(z))\bigr);~x,y,z\in[/math]

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Предваренная нормальная форма
СообщениеДобавлено: 08 май 2014, 23:34 
Не в сети
Последняя инстанция
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 2590
Cпасибо сказано: 104
Спасибо получено:
746 раз в 701 сообщениях
Очков репутации: 158

Добавить очки репутацииУменьшить очки репутации
Что обозначает черта сверху?

Почему бы вам самим не попробовать, используя эквивалентности здесь?

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

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Предваренная нормальная форма и стандартная форма Скулема

в форуме Дискретная математика, Теория множеств и Логика

vlaste

0

899

12 ноя 2016, 13:46

Предварённая нормальная форма

в форуме Дискретная математика, Теория множеств и Логика

wishermaster99

3

402

19 дек 2017, 01:25

Предваренная нормальная форма для формулы

в форуме Дискретная математика, Теория множеств и Логика

Veseto555

1

286

01 фев 2021, 22:10

Жорданова нормальная форма

в форуме Линейная и Абстрактная алгебра

BUtton

6

429

12 май 2017, 18:56

Нормальная форма Сколема

в форуме Дискретная математика, Теория множеств и Логика

____aifon

1

44

13 янв 2024, 18:40

Жорданова нормальная форма матрицы

в форуме Линейная и Абстрактная алгебра

Children of Math

3

301

18 май 2019, 15:34

Квадратичная форма и полярная к ней билинейная форма

в форуме Линейная и Абстрактная алгебра

CFAS

0

449

26 дек 2018, 14:33

Гарантированная форма и форма Крылова

в форуме Численные методы

Kariaaa

1

383

04 окт 2017, 15:57

Нормальная СЛАУ

в форуме Линейная и Абстрактная алгебра

crazymadman18

1

165

23 дек 2018, 21:15

Нормальная параметризация

в форуме Дифференциальное исчисление

JULIA_BU

9

409

05 июн 2019, 03:41


Часовой пояс: UTC + 3 часа [ Летнее время ]



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

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


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

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved