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

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

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

Теоретический раздел
Часовой пояс: UTC + 4 часа [ Летнее время ]
MathHelpPlanet.com RSS-лента Математического форума

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




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Задачка по мат.логике
СообщениеДобавлено: 23 дек 2013, 11:01 
Не в сети
Начинающий
Зарегистрирован:
23 дек 2013, 10:57
Сообщений: 1
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Здравствуйте, буду очень признателен если поможете решить :)
Изображение

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Задачка по мат.логике
СообщениеДобавлено: 24 дек 2013, 11:57 
Не в сети
Одарённый
Зарегистрирован:
06 дек 2012, 13:40
Сообщений: 143
Откуда: Кишинёв
Cпасибо сказано: 2
Спасибо получено:
50 раз в 45 сообщениях
Очков репутации: 30

Добавить очки репутацииУменьшить очки репутации
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

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

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Задачи по логике

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

stanislav_y

3

589

22 авг 2013, 11:26

Задача по логике

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

vb14

4

177

28 мар 2014, 20:18

Задача по логике высказываний

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

Nikolay

3

700

11 мар 2013, 21:41

Задачи по логике высказываний

в форуме Теория вероятностей

deepground

1

261

29 июн 2013, 10:16

Лекции по математической логике

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

Alexdemath

2

2501

13 авг 2012, 20:07

Задача по логике предикатов

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

Nikolay

7

519

11 мар 2013, 21:23

Поиск литературы и материалов по мат логике

в форуме Литература и Онлайн-ресурсы по математике

chevalier

1

140

19 дек 2016, 20:52

Задача по теории множеств/логике

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

Mypowerfulbrain

7

341

04 дек 2015, 21:52

Задача по математической логике и теории алгоритмов

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

uuuu

1

93

17 янв 2017, 17:39

Расчетно-Графическая работа по мат логике ( за деньги)

в форуме Объявления участников Форума

nickelback-23

1

370

02 май 2012, 23:09


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



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

Сейчас этот форум просматривают: Yandex [bot] и гости: 2


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

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

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

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