пользователей: 21241
предметов: 10456
вопросов: 177505
Конспект-online
зарегистрируйся или войди через vk.com чтобы оставить конспект.
РЕГИСТРАЦИЯ ЭКСКУРСИЯ

Особенности перевода с естественного языка на язык математической логики.

1 шаг. Определить множество рассматриваемых объектов. Множество – универсум. Результат: описание предметных переменных.

2 шаг. Ввести обозначение для необходимых предикатов. Результат: список простых предложений с обозначением. Р(х) – «х … »

3 шаг. Определение кванторов. Если есть слова: все, любые, каждый – квантр всеобщности, а если есть – некоторые, существуют – квантр существования. Требуется перефразировать предложения. Единичные высказывания – переводятся с квантором всеобщности.

4 шаг. Определить необходимые логические связки. Чаще всего с квантором всеобщности употребляется импликация, с квантором существования – конъюнкция. Но, возможны и исключения.


23.01.2014; 11:00
хиты: 0
рейтинг:0
для добавления комментариев необходимо авторизироваться.
  Copyright © 2013-2016. All Rights Reserved. помощь