deductively valid