Namespaces
Variants
Actions

Refutable formula

From Encyclopedia of Mathematics
Revision as of 17:30, 30 April 2014 by Ivan (talk | contribs)
(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 $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
This article was adapted from an original article by V.N. Grishin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article