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

Математический форум 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 ] 

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

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

vb14

4

175

28 мар 2014, 20:18

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

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

stanislav_y

3

553

22 авг 2013, 11:26

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

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

deepground

1

254

29 июн 2013, 10:16

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

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

vova_makarovych

1

225

09 дек 2011, 20:01

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

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

Alexdemath

2

2375

13 авг 2012, 20:07

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

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

Nikolay

7

488

11 мар 2013, 21:23

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

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

Nikolay

3

671

11 мар 2013, 21:41

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

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

Mypowerfulbrain

7

310

04 дек 2015, 21:52

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

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

chevalier

1

122

19 дек 2016, 20:52

сессия заочника( по мат логике помогите плиз

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

Lexflax

1

951

01 дек 2011, 14:21


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



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

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


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

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

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

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