Opportunity without products Validation rule
There's a built-in field that identifies if an opportunity has a product attached. You can use this in your validation rule like this:
AND(NOT(HasOpportunityLineItem), Probability>0.5)
Step 1: Create a rollup summary field to show the number of opportunity product
Step 2: AND( rollupsummaryfield >0 , probability > 50%) throw error