«العالم ليس بلاحي»
A knower is not non-living.
The particle laysa negates the predicative link, whereas the negative component within “bi-lā-ḥayy” helps form a negated predicate. Thus the quality of the proposition and the structure of the predicate require separate examination.
Compare:
“Zayd is a non-scholar” — an affirmative judgment with a negated predicate.
“Zayd is not a scholar” — a negative judgment denying a predicate.
Ordinary speech may bring the meanings close together, but their technical analysis asks where the negation is located.