Логический процесс, Формализация, Элементарная техника - Прикладная логика