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.