Дедуктивная логика, см. Логика.