Skip to content
ontologydriven
Sign out

Dictionary

Words, grammatical forms and meanings linked to the ontology.

unproving en · VERB · etymology 1

Etymology

See the etymology of the corresponding lemma form.

Meanings

  1. (form-of, gerund, participle, present) present participle and gerund of unprove
    form of unprove

unproving en · ADJ · etymology 2

Etymology

un- + proving

Meanings

  1. (not-comparable, rare) Not offering or not constituting proof.
    • Let Z be a formula, and let C be a collection of formulas. […] We shall say that […] C is maximal Z-unproving if C is Z-unproving and C is not a proper subset of another Z-unproving set; […] 2020, Eric Schechter, Classical and Nonclassical Logics, page 466: