LOGIIKAN PERUSKÄSITTEET