Çıkarımda tüm öncül önermeleri doğru ve sonuç önermesinin yanlış olduğunu kabul etmenin olanaklı ise, bu çıkarım “geçersiz” çıkarım olarak nitelenir. Tümevarımlı akıl yürütme bakımından çıkarımda öncüllerin sonuç önermesini kesin olarak ortaya koyması değil, sonucun doğru olma olasılığını arttırmaları şartı aranır. Eğer çıkarımda öncül önermelerin doğruluğu sonuç önermesinin doğruluğunu ciddi olarak arttırması, bu çıkarımın güçlü bir tümevarımlı çıkarımdır. Çıkarımda öncül önermelerin doğruluğunun anlamlı bir şekilde arttırmaması ise bu çıkarım zayıf tümevarımlı çıkarımdır. Çıkarımın öncül önermelerinin tümünün doğru olduğu kabul edildiğinde sonuç önermesini de doğru olduğunun kabul edilmesi geçerli çıkarımların doğruluğu koruma özelliği olarak adlandırılır.