deductively valid

Мат. дедуктивно истинный