Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 2 ] |
|
Автор | Сообщение | |
---|---|---|
kotel62 |
|
|
Помогите пожалуйста: "Волки и люди боятся друг друга" "Все рыцари сражались друг с другом на поединках" |
||
Вернуться к началу | ||
sergebsl |
|
|
Волки боятся людей и люди боятся волков
W(x) - wolf - мн-во волков H(y) - humankind - человечество ∀(x∈W)(y∈H) : (x∽y)&(y∽x) "Все рыцари сражались друг с другом на поединках" K(x,y) -- knights -- рыцари |
||
Вернуться к началу | ||
[ Сообщений: 2 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Переведите с естественного языка на язык логики предикатов | 5 |
1298 |
20 фев 2016, 04:16 |
|
Переведите высказывания на язык формул исчисления предикатов | 5 |
565 |
01 июн 2017, 21:30 |
|
Грамматика языка логики предикатов | 2 |
398 |
16 июл 2015, 12:21 |
|
Перевод высказываний естественного зыка на язык исчисления п | 0 |
274 |
06 май 2020, 19:03 |
|
Отличие пропозициональной логики от логики предикатов | 3 |
441 |
22 янв 2016, 10:03 |
|
Перевод высказываний зыка на язык исчисления предикатов | 8 |
220 |
12 май 2022, 18:00 |
|
Формулы логики предикатов | 0 |
256 |
18 май 2017, 06:09 |
|
Помощь с доказательством логики предикатов | 2 |
165 |
31 май 2020, 19:17 |
|
Кванторы. Формула логики предикатов | 1 |
189 |
18 май 2020, 09:56 |
|
Записать на языке логики предикатов | 0 |
408 |
22 дек 2016, 16:32 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 12 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |