hvilken märkvärdig logisk slutledning hrA