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 için benzer kelimeler
mantıksal ilksav, 16 karakter ile yazılır. Ayrıca,
m harfi ile başlar, v harfi ile biter. Tüm karakter dağılımı ise,
'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.