Namespaces
Variants
Actions

Refutable formula

From Encyclopedia of Mathematics
Revision as of 17:17, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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 in a given logical system is formally decidable (cf. Decidable formula) if 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
This article was adapted from an original article by V.N. Grishin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article
Retrieved from "https://encyclopediaofmath.org/index.php?title=Refutable_formula&oldid=16432"