Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 2 ] |
|
Автор | Сообщение | |
---|---|---|
dreb |
|
|
|
||
Вернуться к началу | ||
gefest |
|
|
1. [math]\Phi(y)\vdash\exists x\Phi(x)\quad[/math] - [math]\exists[/math]-введение
2. [math]\exists y\Phi(y)\vdash\exists x\Phi(x)\quad[/math] - [math]\exists[/math]-удаление, 1 |
||
Вернуться к началу | ||
[ Сообщений: 2 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Задачи по мат. логике | 0 |
282 |
30 ноя 2020, 21:50 |
|
Ошибка в логике?
в форуме Пределы числовых последовательностей и функций, Исследования функций |
13 |
445 |
14 янв 2021, 22:14 |
|
Вопросы по мат логике | 0 |
349 |
20 июн 2020, 09:28 |
|
Задание по математической логике | 1 |
185 |
11 янв 2022, 09:32 |
|
Запись в логике предикатов | 2 |
204 |
10 янв 2020, 17:57 |
|
Книги по математической логике | 2 |
312 |
22 окт 2019, 17:53 |
|
Дефаззификация в нечеткой логике | 1 |
250 |
19 мар 2019, 14:12 |
|
Тест по математической логике
в форуме Объявления участников Форума |
8 |
281 |
02 сен 2021, 14:34 |
|
Поиск литературы и материалов по мат логике | 1 |
406 |
19 дек 2016, 19:52 |
|
Вычислить коэффициент по определённой логике
в форуме Алгебра |
14 |
401 |
21 апр 2021, 23:48 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 24 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |