en allmän sats betraktade , innebära med logisknödvändighet