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