Tekmovanje iz logike