Процедура приведения выражений естественного языка к логической форме

1.

Процедура приведения выражений
естественного языка к логической форме
1. О чем (о ком) говорится в суждении? - Ответ дает нам S.
2. Говорится ли обо всем объеме понятия, соответствующего S, о части его
или об отдельном предмете? - Ответ дает нам квантор (или его
отсутствие).
3. Утверждается что-либо о субъекте или отрицается? - Ответ дает нам
связку.
4. Что именно утверждается или отрицается? – Ответ дает нам предикат.
5. Расставляем квантор, субъект, связку и предикат в том порядке, в
котором они должны находиться, и формулируем суждение в
логической форме с теми переформулировками, которые придадут ему
должные естественность и благозвучие.