BSTS / Mantık Terimleri Sözlüğü
geçerli çıkarım kuralları kümesi anlamı İng. valid set of inference rules Alm.gültige Schlussregelsmenge Fr. ensemble valable de règles d'inférence
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.