unproving en · VERB · etymology 1
Etymology
See the etymology of the corresponding lemma form.
Meanings
-
(form-of, gerund, participle, present) present participle and gerund of unprove
form of unprove
Words, grammatical forms and meanings linked to the ontology.
See the etymology of the corresponding lemma form.
un- + proving
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: