sözeden kanıtsav

sözeden kanıtsav İng. metatheorem

Bir biçimsel dili konu edinen dizimbilim, yorumbilim ya da kullanımbilim kanıtsavı. || Örn. tümdengelim kanıtsavı,

sözeden kanıtsav ile benzer kelimeler

kanıtsav

bk. sav.

İng. theorem, formal theorem, thesis

İlksavlı bir biçimsel dizgede kanıtlanabilen, başka bir deyişle ilksavlardan çıkarım kuralları yardımıyla türetilebilen tamdeyim. || Temel mantıklı bir biçimsel dizgenin ları yinelg...

kanıtsav kalıbı

İng. theorem schema

Her örneği, sözedilen dilde kanıtsav durumunda olan bir önerme kalıbı.|| Örn. () kümeler kuramının bir dır.

mantıksal kanıtsav

İng. logical theorem

Geçerli bir mantıksal dizgede, öncülsüz bir çıkarımın sonucu olarak ya da başka bir deyişle boş kümeden türetilebilen önerme. ||Krş.. öncülsüz çıkarım.

dizimsel sözeden dil

İng. syntactic metalanguage

Olağan yorumundaki değer alanı sözedilen dil deyimleriyle bu deyimlere dayanan kümelerden oluşan sözeden dil.

ikinci düzeyden sözeden dil

İng. meta-metalanguage

Bir sözeden dili konu edinen, başka bir deyişle değişkenlerinin değer alanı sözeden dil deyimlerini kapsayan dil.

kullanımsal sözeden dil

İng. pragmatical metalanguage

Sözedilen dil deyimleriyle bunları kullanan kişilerden sözetmek üzere, olağan yorumdaki evreni deyimler, anlamlar, kişiler ile bunlara dayalı kümelerden oluşan sözeden dil.

sözeden değişken

İng. metavariable

Dizimsel değişken.

sözeden dil

İng. metalanguage

Başka bir dilin deyimlerinden sözetmek için kullanılan dil; olağan yorumdaki evreni, başka bir dilin deyimlerini kapsayan bir dil. Krş.. dizimsel , yorumsal , kullanımsal .

"sözeden kanıtsav" karakter analizi

sözeden kanıtsav, 16 karakter ile yazılır.
s harfi ile başlar, v harfi ile biter.

Karakter dağılımı

's', 'ö', 'z', 'e', 'd', 'e', 'n', ' ', 'k', 'a', 'n', 'ı', 't', 's', 'a', 'v', şeklindedir.
sözeden kanıtsav kelimesinin tersten yazılışı ' vastınak nedezös' diziliminde gösterilir.