To express this proposition with a predicate formula, you first need to define a predicate:

1) C (x): X is a cat;

2) b (x): x's eyes are blue;

So:

All cats have blue eyes: a x (c (x) → b (x)); Note: Baidu can't display the full-name quantifier symbol, so use A instead;

A cat without eyes that is not blue: ┐ e x (c (x) ┐ b (x)); Note: use e instead of existential quantifier;

Or in another way:

1)C: represents the set formed by all cats;

Then:

All cats have blue eyes: a x ∈ c (b (x));

Without eyes, it is not a blue cat: ┐ e x ∈ c (┐ b (x));