Den logiska konseqvensen af hrRrs