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

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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 13 ]  На страницу Пред.  1, 2
Автор Сообщение
 Заголовок сообщения: Re: Предикаты и высказывания
СообщениеДобавлено: 10 ноя 2017, 16:54 
Не в сети
Начинающий
Зарегистрирован:
13 авг 2017, 19:03
Сообщений: 18
Cпасибо сказано: 2
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Ellipsoid писал(а):
umka1989umka писал(а):
А третий способ


Там три способа перечислены (кванторов два - общности и существования).

Приведите примеры, я все равно не пойму как. Хотя бы каждый способ по примеру.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Предикаты и высказывания
СообщениеДобавлено: 10 ноя 2017, 16:58 
Не в сети
Начинающий
Зарегистрирован:
13 авг 2017, 19:03
Сообщений: 18
Cпасибо сказано: 2
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Ellipsoid писал(а):
umka1989umka писал(а):
А третий способ


Там три способа перечислены (кванторов два - общности и существования).

Приведите пожалуйста по примеру каждого способа, так будет понятнее...

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Предикаты и высказывания
СообщениеДобавлено: 10 ноя 2017, 16:59 
Не в сети
Light & Truth
Зарегистрирован:
23 авг 2010, 23:28
Сообщений: 4260
Cпасибо сказано: 532
Спасибо получено:
1056 раз в 934 сообщениях
Очков репутации: 311

Добавить очки репутацииУменьшить очки репутации
umka1989umka писал(а):
не пойму как


Что именно? Вот предикат "[math]x[/math] делится на [math]2[/math]", где [math]x[/math] принадлежит множеству натуральных чисел. Обозначим этот предикат через [math]A(x)[/math]. Положим [math]x=1[/math]. Получим высказывание [math]A(1)[/math] - "[math]1[/math] делится на [math]2[/math]". Так же и в вашем случае. Это понятно? С кванторами тоже не сложно...

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

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

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

tanyhaftv

11

135

02 май 2018, 16:23

Предикаты

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

firefox1234

1

214

25 дек 2013, 11:22

Предикаты

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

Rbikte

0

168

25 май 2013, 19:53

Предикаты

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

huffy

11

145

27 ноя 2017, 17:37

Математическая логика предикаты

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

Sonik322

1

127

30 май 2017, 15:48

Предикаты и справедливость вывода

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

manchester_alan

4

212

20 июн 2015, 17:27

Правильность рассуждения, 3-х местные предикаты

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

Euqin

3

257

14 апр 2014, 21:45

Построить n–местные предикаты на множестве

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

vlad_gribanov1

0

174

26 май 2015, 22:34

Вычисление выражения в алгебраической системе (предикаты)

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

BlightW

1

160

05 окт 2015, 14:56

 Высказывания и логика

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

Zain

1

79

14 фев 2018, 21:32


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



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

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


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

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

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

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