Bir tümdengelimde öncül daima doğru kabul edilir. Bu öncül doğru kabul edildiği hâlde sonuç öncülden çıkmıyorsa o tümdengelimin hatalı olduğunu söyleriz.