mikä on logiikan määritelmä