Generally speaking, full-name quantifiers are connected by conditions, and existential quantifiers are conjunctive. If all the educated people are qualified, it can be expressed as (? x)(B(x)-& gt; A(x)), if replaced by the existence of some well-educated people, it means (? x)(B(x)∧A(x)).
If not, it can be judged that if X is educated, then X is qualified. With b (x)-> A(x).
X is educated and has quality, which is represented by B(x)∧A(x).
So the above one is expressed in terms of conditions.