Refutable formula
From Encyclopedia of Mathematics
formally refutable formula, in a given system of formulas
A closed formula of the given system whose negation can be deduced in this system.
Comments
A closed formula $A$ in a given logical system is formally decidable (cf. Decidable formula) if $A$ is either provable or refutable.
References
| [a1] | S.C. Kleene, "Introduction to metamathematics" , North-Holland (1959) pp. 194ff |
How to Cite This Entry:
Refutable formula. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Refutable_formula&oldid=32002
Refutable formula. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Refutable_formula&oldid=32002
This article was adapted from an original article by V.N. Grishin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article