1 шаг. Определить множество рассматриваемых объектов. Множество – универсум. Результат: описание предметных переменных.
2 шаг. Ввести обозначение для необходимых предикатов. Результат: список простых предложений с обозначением. Р(х) – «х … »
3 шаг. Определение кванторов. Если есть слова: все, любые, каждый – квантр всеобщности, а если есть – некоторые, существуют – квантр существования. Требуется перефразировать предложения. Единичные высказывания – переводятся с квантором всеобщности.
4 шаг. Определить необходимые логические связки. Чаще всего с квантором всеобщности употребляется импликация, с квантором существования – конъюнкция. Но, возможны и исключения.
