Определения их вид - 32/48 Неявные определения в логике примеры