М Логика Назад А В Д И К Л М Н О П Р С Т У Ф Ш Э Я М Метод резолюций Методы научной индукции Множество Модальная логика Мощность нечеткого множества A Мышление