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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Переведите с естественного языка на язык логики предикатов
СообщениеДобавлено: 12 ноя 2022, 12:04 
Не в сети
Начинающий
Зарегистрирован:
23 окт 2022, 11:44
Сообщений: 7
Cпасибо сказано: 0
Спасибо получено:
1 раз в 1 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Переведите с естественного языка на язык логики предикатов:
Помогите пожалуйста:

"Волки и люди боятся друг друга"

"Все рыцари сражались друг с другом на поединках"

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Переведите с естественного языка на язык логики предикатов
СообщениеДобавлено: 12 ноя 2022, 12:40 
Не в сети
Light & Truth
Зарегистрирован:
10 дек 2013, 02:33
Сообщений: 3268
Cпасибо сказано: 263
Спасибо получено:
417 раз в 407 сообщениях
Очков репутации: 51

Добавить очки репутацииУменьшить очки репутации
Волки боятся людей и люди боятся волков

W(x) - wolf - мн-во волков

H(y) - humankind - человечество

∀(x∈W)(y∈H) : (x∽y)&(y∽x)


"Все рыцари сражались друг с другом на поединках"

K(x,y) -- knights -- рыцари

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

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

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

art33

5

1298

20 фев 2016, 04:16

Переведите высказывания на язык формул исчисления предикатов

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

sir_frags

5

565

01 июн 2017, 21:30

Грамматика языка логики предикатов

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

petrowert

2

398

16 июл 2015, 12:21

Перевод высказываний естественного зыка на язык исчисления п

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

gret1

0

274

06 май 2020, 19:03

Отличие пропозициональной логики от логики предикатов

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

Knyazhskiy

3

441

22 янв 2016, 10:03

Перевод высказываний зыка на язык исчисления предикатов

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

Ar4in

8

220

12 май 2022, 18:00

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

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

mad_math

0

256

18 май 2017, 06:09

Помощь с доказательством логики предикатов

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

Selomar

2

165

31 май 2020, 19:17

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

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

Pakmen3214

1

189

18 май 2020, 09:56

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

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

Escritor731

0

408

22 дек 2016, 16:32


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



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

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


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

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

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

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