Ни один из не имеющих среднего образования не может поступить в вуз.

задан 18 Дек '14 20:04

10|600 символов нужно символов осталось
0

Я буду исходить из того, что речь идёт о классической логике предикатов, а не о какой-то разновидности модальной логики, где специальным образом выражаются категории типа "может".

Пусть $%M$% -- одноместный предикат "иметь среднее образование", и $%H$% -- одноместный предикат "быть способным поступить в вуз". Фраза по смыслу означает следующее: каждый, кто не имеет среднего образования, не способен поступить в вуз. То есть тут присутствует квантор всеобщности, и далее импликация. Формула логики предикатов такова: $%(\forall x)(\neg M(x)\to\neg H(x))$%.

Можно добавить, что по закону контрапозиции данная формула эквивалента следующей: $%(\forall x)(H(x)\to M(x))$%. По смыслу это значит, что каждый, кто может поступить в вуз, обязательно должен иметь среднее образование.

P.S. Обозначения тут годятся любые, но я выбирал буквы M и H от слов "Middle" и "High".

ссылка

отвечен 18 Дек '14 21:00

изменен 18 Дек '14 21:01

Спасибо большое.

(19 Дек '14 1:54) termit

http://savepic.org/6645601.jpg не совсем понимаю обозначения. Там множество M это вершины графа, а множество N ребра графа. Что такое E0=(1,2,4)?

(19 Дек '14 1:56) termit

@termit: надо смотреть теоретическое описание, прилагающееся к этой задаче. Обозначения не общепринятые, и этими буквами можно обозначить что угодно.

(19 Дек '14 2:40) falcao
10|600 символов нужно символов осталось
Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×484

задан
18 Дек '14 20:04

показан
514 раз

обновлен
19 Дек '14 2:40

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru