Bir akıl yürütmede öncüller doğru olduğunda sonucun her zaman doğru olması gerekiyorsa, bu akıl yürütme hangi özelliği taşır?