Random word

How do you use Subformula in a sentence? See 2 example sentences showing how this word appears in different contexts, plus the exact meaning.

Rare word

Subformula in a sentence

Related words

Subformula | Subformulae

Subformula meaning

A formula that is part of another formula.

Using Subformula

  • The main meaning on this page is: A formula that is part of another formula.

Context around Subformula

  • Average sentence length in these examples: 33 words
  • Position in the sentence: 0 start, 1 middle, 1 end
  • Sentence types: 2 statements, 0 questions, 0 exclamations

Often after:

cannot 1×

Sentence patterns with Subformula

These short patterns come directly from the example sentences and show how the word is often embedded:

as a subformula of another 1× if some subformula cannot be 1×

Sentence openings and endings

Common sentence openings:

eventually the formula 1× the set of 1×

Common sentence endings:

not a wff 1× subformula of another 1×

Words around Subformula

Just before it in the word index:

subfolders 3 subfloor 4 subfields 23 subfield 32 subfertility 2 subfeatures 2

Just after it in the word index:

subformulae 2 subfossil 4 subframe 5 subframes 4 subfreezing 3 subfunction 2

Similar in corpus frequency:

aabc 4 aacr 4 aacsb 4 aadar 4 aadk 4 aadujeevitham 4

Corpus analysis for Subformula

  • In this selection, "subformula" usually appears in the middle of the sentence. The average example has 33 words, and this corpus slice is mostly made up of statements.
  • Around the word, cannot stand out and add context to how "subformula" is used.
  • Recognizable usage signals include as a subformula of another and if some subformula cannot be. That gives this page its own corpus information beyond isolated example sentences.
  • By corpus frequency, "subformula" sits close to words such as aabc, aacr and aacsb, which helps place it inside the broader word index.

Example types with subformula

The same corpus examples are grouped by length and sentence type, making it easier to see the contexts in which the word appears:

Short example sentences

Eventually the formula should be reduced to its atoms, but if some subformula cannot be so reduced, then the formula is not a wff. (24 words)

The set of free variables in a formula of L κω can have any cardinality strictly less than κ, yet only finitely many of them can be in the scope of any quantifier when a formula appears as a subformula of another. (42 words)

Longer example sentences

The set of free variables in a formula of L κω can have any cardinality strictly less than κ, yet only finitely many of them can be in the scope of any quantifier when a formula appears as a subformula of another. (42 words)

Eventually the formula should be reduced to its atoms, but if some subformula cannot be so reduced, then the formula is not a wff. (24 words)

Example sentences (2)

Eventually the formula should be reduced to its atoms, but if some subformula cannot be so reduced, then the formula is not a wff.

The set of free variables in a formula of L κω can have any cardinality strictly less than κ, yet only finitely many of them can be in the scope of any quantifier when a formula appears as a subformula of another.

Frequently asked questions

How do you use "subformula" in a sentence?
An example: "Eventually the formula should be reduced to its atoms, but if some subformula cannot be so reduced, then the formula is not a wff." This page contains 2 example sentences with the word "subformula" from authentic English texts.
What does "subformula" mean?
Subformula means: A formula that is part of another formula.
How many example sentences with "subformula" are there?
Voorbeeldzinnen.info contains 2 example sentences with "subformula", drawn from a database of millions of English sentences.