logiikkaan perustuva