Geçerlilik ve geçersizlik önermeler arası ilişki sonucu ortaya çıkan akıl yürütmelerle ilgili bir mantık deyimidir. Bir çıkarımın sonucu öncüllerden zorunlu olarak her yorumda çıkıyorsa, bu akıl yürütmeye geçerli, çıkarmıyorsa geçersiz akıl yürütme denir.