dolaysız çıkarım kuralları anlamı İng. immediate inference rules Osm. vasıtasız istidlal
Tek öncüllü tasımsal çıkarımlardan hangilerinin gevşek hangilerinin sıkı geçerli olduğunu dile getiren kurallar.