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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 13 ]  На страницу 1, 2  След.
Автор Сообщение
 Заголовок сообщения: Истинность формулы на языке предикатов
СообщениеДобавлено: 17 дек 2017, 10:02 
Не в сети
Начинающий
Зарегистрирован:
17 дек 2017, 09:59
Сообщений: 6
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Прошу Помочь!
∀l∀A∃m((A ∈ l)→((A ∈ m)∧(l⊥m))) (l и m – прямые, A – точка).

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Истинность формулы на языке предикатов
СообщениеДобавлено: 17 дек 2017, 14:38 
Не в сети
Light & Truth
Зарегистрирован:
23 авг 2010, 22:28
Сообщений: 4430
Cпасибо сказано: 565
Спасибо получено:
1075 раз в 952 сообщениях
Очков репутации: 315

Добавить очки репутацииУменьшить очки репутации
Чтобы понять смысли и оценить истинность, переведите высказывание на естественный язык.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Истинность формулы на языке предикатов
СообщениеДобавлено: 17 дек 2017, 14:42 
Не в сети
Начинающий
Зарегистрирован:
17 дек 2017, 09:59
Сообщений: 6
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Ellipsoid писал(а):
Чтобы понять смысли и оценить истинность, переведите высказывание на естественный язык.

не получается можешь помочь ?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Истинность формулы на языке предикатов
СообщениеДобавлено: 17 дек 2017, 14:47 
Не в сети
Light & Truth
Зарегистрирован:
23 авг 2010, 22:28
Сообщений: 4430
Cпасибо сказано: 565
Спасибо получено:
1075 раз в 952 сообщениях
Очков репутации: 315

Добавить очки репутацииУменьшить очки репутации
Что именно не получается? Что означают знаки [math]\forall[/math] и [math]\exists[/math]?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Истинность формулы на языке предикатов
СообщениеДобавлено: 17 дек 2017, 14:49 
Не в сети
Начинающий
Зарегистрирован:
17 дек 2017, 09:59
Сообщений: 6
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Ellipsoid писал(а):
Что именно не получается? Что означают знаки [math]\forall[/math] и [math]\exists[/math]?

в общем не получается.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Истинность формулы на языке предикатов
СообщениеДобавлено: 17 дек 2017, 14:55 
Не в сети
Light & Truth
Зарегистрирован:
23 авг 2010, 22:28
Сообщений: 4430
Cпасибо сказано: 565
Спасибо получено:
1075 раз в 952 сообщениях
Очков репутации: 315

Добавить очки репутацииУменьшить очки репутации
Читайте учебник. Ключевые слова "предикаты и кванторы". На этом форуме есть теория по теме.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Истинность формулы на языке предикатов
СообщениеДобавлено: 17 дек 2017, 14:58 
Не в сети
Начинающий
Зарегистрирован:
17 дек 2017, 09:59
Сообщений: 6
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Ellipsoid писал(а):
Читайте учебник. Ключевые слова "предикаты и кванторы". На этом форуме есть теория по теме.

Я уже все что можно прочитал но не могу разобраться с этим уравнением. Если знаете можете помочь? Иначе не писал бы в форум

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Истинность формулы на языке предикатов
СообщениеДобавлено: 17 дек 2017, 15:06 
Не в сети
Light & Truth
Зарегистрирован:
23 авг 2010, 22:28
Сообщений: 4430
Cпасибо сказано: 565
Спасибо получено:
1075 раз в 952 сообщениях
Очков репутации: 315

Добавить очки репутацииУменьшить очки репутации
mera писал(а):
Если знаете можете помочь?


Могу. Вам нужно срочно ознакомиться с определениями кванторов. Это для начала.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Истинность формулы на языке предикатов
СообщениеДобавлено: 17 дек 2017, 15:17 
Не в сети
Начинающий
Зарегистрирован:
17 дек 2017, 09:59
Сообщений: 6
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Ellipsoid писал(а):
mera писал(а):
Если знаете можете помочь?


Могу. Вам нужно срочно ознакомиться с определениями кванторов. Это для начала.

ознакомился что дальше

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Истинность формулы на языке предикатов
СообщениеДобавлено: 17 дек 2017, 16:49 
Не в сети
Light & Truth
Зарегистрирован:
23 авг 2010, 22:28
Сообщений: 4430
Cпасибо сказано: 565
Спасибо получено:
1075 раз в 952 сообщениях
Очков репутации: 315

Добавить очки репутацииУменьшить очки репутации
Хорошо. Что же означают те знаки, которые я упомянул выше?

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

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

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

Anura1402

5

221

15 дек 2020, 15:11

Записать на языке предикатов

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

tanyhaftv

6

536

13 июл 2018, 23:48

Записать на языке логики предикатов

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

Escritor731

0

408

22 дек 2016, 16:32

Записать на языке предикатов. Правильно ли?

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

wildnothing

1

528

11 янв 2017, 14:10

Записать на языке логики предикатов следующее определение

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

lazebny

11

1870

28 июл 2015, 22:56

Формулы логики предикатов

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

mad_math

0

256

18 май 2017, 06:09

Суждение записать в виде формулы логики предикатов

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

Maxim30

10

1355

24 дек 2015, 13:32

Истинность и ложность высказываний

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

gaga99123

2

431

18 июн 2016, 10:28

Задание на истинность или ложность выражения

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

Aandrew

5

351

23 дек 2021, 22:14

Доказать или опровергнуть истинность тождества

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

Nordlling

8

621

30 июн 2018, 22:11


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



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

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


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

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

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

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