Tek öncüllü tasımsal çıkarımlardan hangilerinin gevşek hangilerinin sıkı geçerli olduğunu dile getiren kurallar.