A Açımlama: Temel imleri kapsayan tümce. Ad: 1.Tümcede kullanılan yalın imlerdir. 2.Temel im. Adın İmlemi: Nesne B Bağımsız Tümceler: Birbirleriyle hiçbir ortak doğruluk kanıtlaması olmayan tümceler. Belirleme: 1.Simgelerin betimlenmesi. 2.Değişkenin yerinr geçtiği betimleme türü. Biçim: İçsel bağlantılar yoluyla düzenlenen diziler. Ç Çelişme: 1.Hiçbir tümcenin bir başka tümceyle ortaklaşa sahip olmadığına sahip olan tümcelerin ortaklaşa sahip olduğu şey. 2.Tümcelerin en dış sınırı. D Dil: Tümcelerin toplamı. Dile Getiriş: 1.Tümcenin anlamını niteleyen parçası. 2.Tümcenin anlamının özüne ilişkin olarak tümcelerin aralarında ortaklaşa sahip olabildikleri şey. 3.Simge. Doğruluk İşlemleri: Temel tümcelerin doğruluk işlevleri, dayanakları temel tümceler olan işlemlerin sonuçları olan işlemler. Doğruluk İşlevleri: Sonlu sayıda doğruluk işleminin temel tümceler üzerindeki ilerlemeli uygulanmasının sonuçları. Doğru Tasarım: Anlamın gerçeklik ile uyuştuğu tasarım. ...