Caracterización deductiva de los árboles de forzamiento semántico

Main Article Content

Manuel Sierra A.
Universidad EAFIT

Keywords

tree of forcing, valuation, semantics, deductive system.

Abstract

The classic propositional calculus is characterized by a tool of visual inference called trees of semantic forcing. With this tool the associated nodes of the formula are marked, and with base in these marks it determines if the formula is valid or no. In case of invalidity, the valuation that refutes the validity of the formula is determines by the marks of the leaves in its tree of forcing. In case of validity, a formal deduction of the associated formula to the root of the tree can be constructed, this is possible because each used rule to mark the nodes in the tree is associate to a rule of inference in the deductive system.

MSC: 03BXX, 03B10

Downloads

Download data is not yet available.
Abstract 903 | PDF (Español) Downloads 541

References

[1] E. Beth. Formal methods, an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Reidel: Dordrecht, 1962.

[2] R. Smullyan. First order logic. New York: Dover ed., 1994.

[3] X. Caicedo. Elementos de lógica y calculabilidad. Bogotá: Universidad de los Andes, 1990.

[4] A. Hamilton. Lógica para matemáticos. Madrid: Paraninfo, 1981.

[5] M. Sierra. Árboles de forzamiento semántico. Revista Universidad EAFIT, 123, 2001.

[6] M. Sierra. Lógica básica con afirmación alterna. Ingeniería y Ciencia, 1(1), 115- 129 (2005).

Article Sidebar

PDF (Español)

Article Details

How to Cite
Sierra A., M. (2006). Caracterización deductiva de los árboles de forzamiento semántico. Ingeniería Y Ciencia, 2(3), 73–102. Retrieved from https://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/487
Issue
Vol. 2 No. 3 (2006)
Section
Articles
Supporting Agencies
Author Biography

Manuel Sierra A., Universidad EAFIT

Magister en Matemáticas

Authors who publish with this journal agree to the following terms:

  • Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
  • Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
  • Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).