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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 3 ] 
Автор Сообщение
 Заголовок сообщения: Логика предикатов
СообщениеДобавлено: 13 дек 2018, 13:21 
Не в сети
Начинающий
Зарегистрирован:
13 дек 2018, 13:20
Сообщений: 2
Cпасибо сказано: 1
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Автобус останавливается на всех остановках.

Данное суждение записать в виде формулы логики предикатов. Построить отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.

Я записала в виде формулы данное выражение, сделала отрицание, подскажите как его теперь перести на естественный язык?

Вложения:
JWdL9J5P7Do.jpg
JWdL9J5P7Do.jpg [ 173.88 Кб | Просмотров: 47 ]
Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Логика предикатов
СообщениеДобавлено: 13 дек 2018, 15:26 
Не в сети
Любитель математики
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 22268
Откуда: Беларусь, Минск
Cпасибо сказано: 2096
Спасибо получено:
4958 раз в 4631 сообщениях
Очков репутации: 845

Добавить очки репутацииУменьшить очки репутации
katvmr
Наверное, на естественный язык можно перевести так: "Нет автобуса или есть остановки, на которых автобус не останавливается".

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Логика предикатов
СообщениеДобавлено: 13 дек 2018, 18:37 
Не в сети
Одарённый
Зарегистрирован:
06 дек 2012, 12:40
Сообщений: 173
Откуда: Кишинёв
Cпасибо сказано: 2
Спасибо получено:
57 раз в 52 сообщениях
Очков репутации: 32

Добавить очки репутацииУменьшить очки репутации
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-й».

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

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

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

maksim-maksim

2

270

17 мар 2022, 20:06

Логика предикатов

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

Asia fox

7

615

09 мар 2017, 00:10

Логика предикатов

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

Lucky721

23

1377

06 янв 2015, 15:22

Логика предикатов

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

Irina Z

2

245

29 июн 2019, 11:48

Логика предикатов

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

Alisa118

0

232

30 май 2017, 18:13

Логика предикатов

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

zapisator

6

393

10 ноя 2016, 17:12

Логика предикатов

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

johnybsraynilol

5

304

10 дек 2017, 14:57

Задача логика предикатов

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

lovalova

4

612

27 апр 2014, 16:34

Логика предикатов первого порядка

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

Losyara

1

260

16 июн 2015, 20:54

Мат. логика. Логика высказываний

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

Lucky721

14

1157

06 ноя 2014, 16:47


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



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

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


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

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

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

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