FR / EN

性质命题

Hors-HSK

xìng zhì mìng tí

proposition catégorique (logique)