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

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

A) Matematiksel teoremleri kanıtlamak için gereken kaynakların incelenmesi.
B) Bir formüldeki mantıksal bağlaçların sayısını sayma.
C) Bir önermenin doğruluk değerini belirleme.
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) Kesmelerin geçerli kanıtlar için gerekli olduğu kuralı.
D) Kesme içeren her ispat, kesme içermeyen bir ispata dönüştürülebilir.

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

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

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

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