geçerli çıkarım kuralları kümesi
geçerli çıkarım kuralları kümesi İng. valid set of inference rules
Bir mantıksal dizgenin çıkarım kuralları kümesinin geçerli olması, bu dizgedeki bütün kanıtlanır çıkarımların geçerli olması demektir.
geçerli çıkarım kuralları kümesi için benzer kelimeler
geçerli çıkarım kuralları kümesi, 32 karakter ile yazılır. Ayrıca,
g harfi ile başlar, i harfi ile biter. Tüm karakter dağılımı ise,
'g', 'e', 'ç', 'e', 'r', 'l', 'i', ' ', 'ç', 'ı', 'k', 'a', 'r', 'ı', 'm', ' ', 'k', 'u', 'r', 'a', 'l', 'l', 'a', 'r', 'ı', ' ', 'k', 'ü', 'm', 'e', 's', 'i', şeklindedir.
geçerli çıkarım kuralları kümesi kelimesinin tersten yazılışı isemük ırallaruk mırakıç ilreçeg diziliminde gösterilir.