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

@katvmr · Регистрация: 30.09.2017

Author24 — интернет-сервис помощи студентам

Автобус останавливается на всех остановках.

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

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

@3D Homer · 13.12.2018, 15:50

Сообщение от katvmr

подскажите как его теперь перести на естественный язык?

В чем именно сложность?

В условии есть одна неопределенность: о каком именно автобусе идет речь? Такое же затруднение будет при обратном переводе. Можно сказать что-нибудь вроде: "Рассматриваемый объект не является автобусом или существует такая остановка, что он на ней не останавливается".

Я думаю, лучше ввести константу a ("автобус"); тогда от исходной формулы останется только часть, начинающаяся с квантора.

@3D Homer $Эксперт по математике/физике$ 4952 / 3570 / 1150 Регистрация: 01.09.2014 Сообщений: 9,660
	13.12.2018, 15:50	2
	Сообщение от katvmr подскажите как его теперь перести на естественный язык? В чем именно сложность? В условии есть одна неопределенность: о каком именно автобусе идет речь? Такое же затруднение будет при обратном переводе. Можно сказать что-нибудь вроде: "Рассматриваемый объект не является автобусом или существует такая остановка, что он на ней не останавливается". Я думаю, лучше ввести константу a ("автобус"); тогда от исходной формулы останется только часть, начинающаяся с квантора. 0