There are two key types of legal expressions: terms, which intuitively represent objects, and formulas, which intuitively express predicates that can be true or false.
Rozlišujeme dva základní druhy výrazů: termy, které intuitivně představují objekty, a formule, jež zahrnují predikáty a mohou být pravdivé nebo nepravdivé.