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

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

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

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

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

A) Bir tür mantıksal çıkarım.
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) İspat teorisinde tarihi bir olay.

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