Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 3 ] |
|
Автор | Сообщение | ||
---|---|---|---|
katvmr |
|
||
Данное суждение записать в виде формулы логики предикатов. Построить отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык. Я записала в виде формулы данное выражение, сделала отрицание, подскажите как его теперь перести на естественный язык?
|
|||
Вернуться к началу | |||
Andy |
|
|
katvmr
Наверное, на естественный язык можно перевести так: "Нет автобуса или есть остановки, на которых автобус не останавливается". |
||
Вернуться к началу | ||
gefest |
|
|
katvmr писал(а): Автобус останавливается на всех остановках. Если «Автобусы останавливаются на всех остановках», тогда надо так[math]A(x)\to \forall y(B(y)\to C(x,y))[/math] или так [math]\forall y(A(x) \wedge B(y)\to C(x,y))[/math] Если «Автобус 22-й останавливается на всех остановках», тогда так [math]\forall x(B(x)\to C(a,x))[/math], где [math]a[/math] - это константа, которая переводится как «автобус 22-й». |
||
Вернуться к началу | ||
За это сообщение пользователю gefest "Спасибо" сказали: katvmr |
||
[ Сообщений: 3 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Логика высказываний и Логика предикатов | 2 |
270 |
17 мар 2022, 20:06 |
|
Логика предикатов | 7 |
615 |
09 мар 2017, 00:10 |
|
Логика предикатов | 23 |
1377 |
06 янв 2015, 15:22 |
|
Логика предикатов | 2 |
245 |
29 июн 2019, 11:48 |
|
Логика предикатов | 0 |
232 |
30 май 2017, 18:13 |
|
Логика предикатов | 6 |
393 |
10 ноя 2016, 17:12 |
|
Логика предикатов | 5 |
304 |
10 дек 2017, 14:57 |
|
Задача логика предикатов | 4 |
612 |
27 апр 2014, 16:34 |
|
Логика предикатов первого порядка | 1 |
260 |
16 июн 2015, 20:54 |
|
Мат. логика. Логика высказываний | 14 |
1157 |
06 ноя 2014, 16:47 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 30 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |