Unproving
"Unproving" in a Sentence (1 examples)
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; […]
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; […]