Логика в схемах: определение логического следствия