A universal proposition in logic makes a claim about every single member of a specific group or category. It's a…