Republica Bolivariana de Venezuela

Universidad Nacional Experimental de los Llanos Occidentales “Ezequiel Zamora”

Vicerrector de Planificación y Desarrollo Social
Programa de ingeniería, arquitectura y tecnología
Sub-programa Ing. Informática

SISTEMA FORMAL

Bachiller:
Luis Carrillo
C.I: 29.559.585
Carrera: Ing.
Informática
Sub-proyecto: Lógica
Barinas, junio 2023 Semestre: 1
Sección: NVO-SP01
 INTRODUCCION
El sistema formal es un concepto fundamental en el campo de la lógica y las matemáticas, que
proporciona un marco riguroso y preciso para la representación y el razonamiento acerca de los
objetos abstractos y sus propiedades. A través del uso de reglas y axiomas bien definidos, un sistema
formal establece un conjunto de símbolos y un conjunto de reglas de inferencia que permiten
construir y manipular conclusiones lógicas de manera sistemática y coherente. En otras palabras, el
sistema formal brinda una estructura formalizada que facilita la demostración de teoremas y el
desarrollo de argumentos válidos en diversos campos del conocimiento. Con esto en mente, vamos a
explorar más a fondo las características, componentes y aplicaciones del sistema formal.
 ¿Qué es un sistema ¿En que consiste la Tipos de deducción
formal? deducción formal? formal
Bienvenidos

¿En que consiste el Reglas de Ejemplo de reglas

sistema de construcción de una de inferencia
deducción natural? deduccion básicas

Consejos para la
resolución de
argumentos
¿Qué es un sistema formal?
Un sistema formal o sistema lógico es
un sistema abstracto compuesto por
un lenguaje formal, axiomas, reglas de
inferencia y a veces una semántica formal, que
se utiliza para deducir o demostrar teoremas y
dar una definición rigurosa del concepto
de demostración.
¿En que consiste la deducción formal?

El razonamiento deductivo o deducción es el

proceso de sacar inferencias deductivas. Una
inferencia es deductivamente válida si su
conclusión se sigue lógicamente de sus premisas, es
decir, si es imposible que las premisas sean
verdaderas y la conclusión falsa.
Tipos de Deducción formal
En este tipo de deducción obtenemos la conclusión de modo
indirecto, negando la misma conclusión hasta llegar a una
contradicción.
Los pasos de la reducción al absurdo son los siguientes:
1.Suponemos hipotéticamente la falsedad de la
conclusión: ¬p
2.Esta suposición nos conduce a una contradicción: ( q &
¬q )
3.Negamos, por lo tanto, la falsedad de la
suposición: ¬ ( ¬p )
4.Afirmamos la conclusión deseada: p
Antes de realizar un ejemplo concreto sobre la reducción al
absurdo conviene que veamos las reglas en las que se
fundamenta la deducción: las llamadas reglas de inferencia.
¿En que consiste el sistema de deducción natural?

El término "deducción natural" se refiere a una clase

de sistemas de prueba basados en reglas de
inferencia evidentes.​ Los primeros sistemas de
deducción natural fueron desarrollados por Gerhard
Gentzen y Stanislaw Jaskowski en la década de
1930. La motivación principal fue ofrecer una
presentación simple del razonamiento deductivo
que refleje fielmente cómo se produce realmente el
razonamiento.
Reglas de construcción de una deducción
• La implicación ( –> ) es el conector que une a dos proposiciones en
una relación causal. En lenguaje natural: “Si … entonces …”.

• La conjunción (^) es el conector lógico que une a dos proposiciones

en una relación copulativa. En lenguaje natural: “y”.

• La disyunción (v) es el conector lógico que une a dos proposiciones en

una relación disyuntiva. Esta disyunción es inclusiva, es decir, que la
verdad de una de las proposiciones no implica la falsedad de la otra
o, en otras palabras, los dos elementos de la disyunción pueden ser
ciertos a la vez y la disyunción seguir teniendo valor de verdad
positivo. En el lenguaje natural: “o”.

• La negación: (¬) es el conector lógico que ante una proposición le

otorga un valor de verdad contrario al que tiene o, en otras palabras,
es el conector lógico que ante una proposición determinada la niega.
En el lenguaje natural: “no”.
Reglas de inferencia básicas
Consejos para la resolución de argumentos

Escucha activamente: Presta

atención a los argumentos de las
personas involucradas en la
discusión. Escucha sus puntos de
vista y trata de entender su
perspectiva antes de responder o
contradecir.
 CONCLUSION
En conclusión, el sistema formal es una herramienta fundamental en el ámbito de la lógica
y las matemáticas, que nos permite establecer reglas y axiomas precisos para la
representación y el razonamiento acerca de los objetos abstractos y sus propiedades. Su
estructura rigurosa y coherente nos permite demostrar teoremas, desarrollar argumentos
válidos y realizar inferencias lógicas de manera sistemática. Además, el sistema formal
tiene aplicaciones en diversos campos del conocimiento, como la informática, la filosofía y
la física, brindando un marco confiable y preciso para el estudio y la comprensión de
conceptos y teorías. En resumen, el sistema formal es una poderosa herramienta que nos
ayuda a establecer un fundamento sólido y preciso para la construcción y el desarrollo del
conocimiento.
 Raymond M. Smullyan, 1961. Teoría de sistemas formales: Anales de estudios matemáticos, Princeton University Press (1 de abril de 1961) 156
pag. https://es.wikipedia.org/wiki/Sistema_formal

 Robert Audi (ed.). «Deducción». The Cambridge Dictionary of Philosophy (2ª edición). Cambridge University Press.
https://es.wikipedia.org/wiki/Razonamiento_deductivo

 ↑ Evans, Jonathan (18 de abril de 2005). "8. Razonamiento deductivo". En Morrison, Robert, ed. The Cambridge Handbook of Thinking and Reasoning.
Cambridge University Press. https://es.wikipedia.org/wiki/Razonamiento_deductivo
 Indrzejczak, Andrzej. "Natural Deduction". Internet Encyclopedia of Philosophy. Retrieved 15 March 2022.
https://es.wikipedia.org/wiki/Razonamiento_deductivo#Deducci%C3%B3n_natural

 Pelletier, Francis Jeffry; Hazen, Allen (2021). "Natural Deduction Systems in Logic". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab,
Stanford University. Retrieved 15 March 2022. https://es.wikipedia.org/wiki/Razonamiento_deductivo#Deducci%C3%B3n_natural