Kanıt

Mantıkta kanıt, bir önermenin geçerliliğini ortaya koyan bir argüman. Kanıtlar tümevarım mantığına dayanabilse de, genel olarak kanıt terimi titiz bir tümdengelimi ifade eder. Mantık ve matematiğin biçimsel aksiyomatik sistemlerinde bir kanıt, iyi biçimlendirilmiş formüllerin (kabul edilen biçimlendirme kurallarına uygun olarak oluşturulmuş) sonlu bir dizisidir: (1) her formül ya bir aksiyomdur ya da geçerli bir çıkarımla önceki bazı formül veya formüllerden türetilmiştir; ve (2) son formül kanıtlanacak olan formüldür. Vakalarla kanıt için ikileme bakınız.