logiczna konieczność