Формализованную систему, которая на основе строго определенных правил позволяет последовательно производить некоторые точным образом описанные действия с формулами исчисления, называют:

№ Лишним является следующее суждение: № Обращение — это: № Закон логики времени гласит, что ... № Схема (Некоторые S суть P) / (Некоторые S не суть не P) представляет превращение суждения типа № Результатом обобщения для понятия «балет» будет понятие № Внешние признаки предметов, как правило, отображает: