mantıksal ilksav

mantıksal ilksav İng. logical axiom

Geçerli bir mantıksal dizgede mantıksal, ilkel, öncülsüz bir çıkarım kuralının örneği olan sözedilen dil önermesi. || Krş.. çıkarım kuralı örneği,öncülsüz çıkarım kuralı.

mantıksal ilksav ile benzer kelimeler

mantıksal ilksav kalıbı

İng. logical axiom-schema

Bir biçimsel dizgede, öncülsüz ilkel geçerli çıkarım kuralı. || Örn. Doğrusal eklemler mantığına ilişkin Hilbert-Ackermann mantıksal ilksav kalıpları ()

mantıksal olmayan ilksav

bk. özel ilksav.

ilksav

bk. belit.

İng. axiom

Mantıksal ya da özel . || Anl. belit.

ilksav kalıbı

İng. axiom schema

Her örneği, sözedilen dilde ilksav olan önerme kalıbı.

öbekleme ilksav kalıbı

İng. axiom schema of classification

Herhangi bir birli açık önermeyi gerçekleyen özbirey ya da kümelerden oluşan bir öbeğin var olduğunu dile getiren ilksav kalıbı.

özel ilksav

İng. proper axiom, specific axiom, non-logical axiom, postulate

Özel ilksavlar kümesinin öğesi olan tamdeyim.|| Anl. mantıksal olmayan ilksav. Krş.. lar kümesi.

geçerli mantıksal dizge

İng. sound logical system

Her kanıtlanır çıkarımı geçerli olan mantıksal dizge.

mantıksal

sf. Mantıklı: Mantıksal bir dille açığa vurduğu bu harika önerinin aksayan bir yanı vardı. -N. Nadi.

"mantıksal ilksav" karakter analizi

mantıksal ilksav, 16 karakter ile yazılır.
m harfi ile başlar, v harfi ile biter.

Karakter dağılımı

'm', 'a', 'n', 't', 'ı', 'k', 's', 'a', 'l', ' ', 'i', 'l', 'k', 's', 'a', 'v', şeklindedir.
mantıksal ilksav kelimesinin tersten yazılışı ' vaskli laskıtnam' diziliminde gösterilir.