Državno tekmovanje iz logike