• Mantık önermelerin doğruluğunu kanıtlamak için kullanılır.
• Önermenin ne olduğu ile ilgilenmek yerine bazı kurallar koyar ve
böylece önermenin genel formunun geçerli olup olmadığını
yargılar.
• Mantığın bize sağladığı kurallar, belirtilen aşamalardan çıkan
sonucun tutarlı olup olmadığını veya sonucun doğruluğunun
ispatlanması aşamasındaki basamaklarda hatalı bir kısmın bulunup
bulunmadığını değerlendirmemizi sağlar.
