Logiken i d:r v. B:sfredsbctraktelser