A) Matematiksel tümevarıma dayalı bir yorum.
B) Değişkenlere somut değerler atayarak birinci dereceden bir mantık formülünün yorumlanması.
C) Yazılım mühendisliğinde kullanılan bir yorum.
D) Aksiyomatik sistemlere dayanan bir yorum.

A) Matematiksel ispatlarda kullanılan notasyonu standartlaştırmak.
B) Resmi kanıtlara olan ihtiyacı ortadan kaldırmak için.
C) Bir kanıtı daha ikna edici hale getirmek için ona karmaşıklık katmak.
D) Daha kolay analiz için bir ispatı kanonik bir forma dönüştürmek.

A) Bir formüldeki mantıksal bağlaçların sayısını sayma.
B) Bir önermenin doğruluk değerini belirleme.
C) Matematiksel teoremleri kanıtlamak için gereken kaynakların incelenmesi.
D) Matematiksel bir kanıtın uzunluğunun ölçülmesi.

A) Tüm ispatların kesintileri ortadan kaldırması gerektiği özelliği.
B) Kesmelerin biçimsel mantıkta kullanılamayacağı ilkesi.
C) Kesme içeren her ispat, kesme içermeyen bir ispata dönüştürülebilir.
D) Kesmelerin geçerli kanıtlar için gerekli olduğu kuralı.

A) TOPLAMA, ÇIKARMA, ÇARPMA.
B) VE, VEYA, DEĞİL.
C) FOR, WHILE, DO.
D) IF, THEN, ELSE.

A) Alonzo Church.
B) Gerhard Gentzen.
C) Henri Poincaré.
D) Alfred Tarski.

A) İspat teorisinde tarihi bir olay.
B) Matematiksel kanıtlar oluşturmak için bir kural.
C) Bir tür mantıksal çıkarım.
D) Sezgisel mantıkta kanıtlar ve bilgisayar programları arasında bir yazışma.

A) Teoremler, biçimsel ispat sistemlerinin sınırlarını göstermektedir.
B) Teoremler standart aksiyomatik sistemler oluşturmaktadır.
C) Teoremler ispat karmaşıklığı ihtiyacını ortadan kaldırır.
D) Teoremler ispat yapımı için yeni teknikler sunmaktadır.