Državno tekmovanje iz znanja logike