Logiska definitioner äro för öfiigtick