temel mantıklı kuram
temel mantıklı kuram İng. elementary theory, theory with standard formalization
Temel mantıklı bir biçimsel dil ile temel mantığın geçerli çıkarım kurallarına dayanan kuram. ||Örn. temel mantıklı sayı kuramı.
temel mantıklı kuram için benzer kelimeler
temel mantıklı kuram, 20 karakter ile yazılır. Ayrıca,
t harfi ile başlar, m harfi ile biter. Tüm karakter dağılımı ise,
't', 'e', 'm', 'e', 'l', ' ', 'm', 'a', 'n', 't', 'ı', 'k', 'l', 'ı', ' ', 'k', 'u', 'r', 'a', 'm', şeklindedir.
temel mantıklı kuram kelimesinin tersten yazılışı maruk ılkıtnam lemet diziliminde gösterilir.