Information om | Engelska ordet SUBFORMULA

Exempel på hur man kan använda SUBFORMULA i en mening

• A well-founded partial order is defined on the structures ("subformula" for formulas, "sublist" for lists, and "subtree" for trees).
• However, it is important to note that there is a fundamental difference in behaviour between these operators and the logical connectives they are interpreted by in the sequent calculus: the structural operators are used in every rule of the calculus, and are not considered when asking whether the subformula property applies.

Förberedelsen av sidan tog: 238,44 ms.