användning af slutledningens konstoch