Definition
A proof is a convincing argument expressed in the language of logic and mathematics.
Example
A sample computation to prove automatically if the propositional formula ((p ∨ (q ∧ r)) →((p ∨ q) ∧ (p ∨ r)) is valid or not is included in Fig. 1 and Table 1, using tableau reasoning (Deduction). With respect to systems biology, one could substitute p, q, and r for, e.g., “produces glucose,” “produces carbon dioxide,” and “releases water,” respectively. The tableau method is a decision procedure that checks the existence of a model (i.e., that it can be instantiated). It exhaustively looks at all the possibilities, so that it can eventually prove that no model could be found for unsatisfiable formulas (if it is satisfiable, we have found a counterexample). This is done by decomposing the formula in top-down fashion after it has been translated into negation normal form (i.e., all the negations have been pushed inside), which can be achieved using equivalences. Further, if a model...
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Hedman S (2004) A first course in logic – an introduction to model theory, proof theory, computability, and complexity. Oxford University Press, Oxford, UK
Tree Proof Generator. (http://www.umsu.de/logik/trees/
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Science+Business Media, LLC
About this entry
Cite this entry
Keet, C.M. (2013). Proof, Logic. In: Dubitzky, W., Wolkenhauer, O., Cho, KH., Yokota, H. (eds) Encyclopedia of Systems Biology. Springer, New York, NY. https://doi.org/10.1007/978-1-4419-9863-7_735
Download citation
DOI: https://doi.org/10.1007/978-1-4419-9863-7_735
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4419-9862-0
Online ISBN: 978-1-4419-9863-7
eBook Packages: Biomedical and Life SciencesReference Module Biomedical and Life Sciences