Universidad autónoma de santo domingo

PRIMADA DE AMERICA
Fundada el 28 de octubre del 1538

Seminario Elemental de Matemáticas (mat3810-3)

Unidad 4:

Sistemas deductivos formales

Presentado a:

Alicia Martín

Presentado por
Grupo F:

Wilnasi Mercedes Castro Tejada 100387247

Anny Gabriela Pérez Ramírez 100150449
 Sistemas deductivos formales

Contenido

4.1. Simbología: expresiones, términos, variables, constantes

4.2. El principio de inducción matemática

4.3. Los métodos deductivo e inductivo

4.3.1Diferencia entre inducción y deducción

4.4. Reglas de inferencia, silogismos

4.5. Técnicas de deducción y demostración

4.6. Teorías axiomáticas

4.7. Los lenguajes formales de primer orden y de segundo orden

 4.1. Simbología: expresiones, términos, variables, constantes

Una expresión algebraica es una combinación de letras y números ligadas

por los signos de las operaciones: adición, sustracción, multiplicación,
división y potenciación.

Las expresiones algebraicas nos permiten, por ejemplo, hallar áreas y

volúmenes.
Longitud de la circunferencia: L = 2 r, donde r es el radio de la
circunferencia.
Área del cuadrado: S = l2, donde l es el lado del cuadrado.
Volumen del cubo: V = a3, donde a es la arista del cubo
Simbología

Término hace referencia a cada uno de los elementos que intervienen en

una relación, una suma, una resta, una sucesión, una proporción o una
fracción. Por ejemplo: Supongamos la sucesión 1, 2, 3, 4. Las 4 cifras son
términos. En la relación 4/5, 4 y 5 son también términos.

Simbología
En matemáticas y en lógica, una variable es un símbolo constituyente de
un predicado, fórmula, algoritmo o de una proposición. El término
«variable» se utiliza aun fuera del ámbito matemático para designar una
cantidad susceptible de tomar distintos valores numéricos dentro de un
conjunto de números especificado.
una constante es un valor de tipo permanente, ya que no puede
modificarse, al menos no dentro del contexto o situación para el cual está:
geometría aritmética. En ciencias, especialmente en física, se denomina
constante a aquella magnitud cuyo valor no varía en el tiempo. 

4.2. El principio de inducción matemática

La inducción matemática es un método de demostración que se utiliza

cuando se trata de establecer la veracidad de una lista infinita de
proposiciones. El método es bastante natural para usarse en una variedad de
situaciones en la ciencia de la computación. Algunas aplicaciones tienen un
sabor muy matemático, tal como verificar que todo entero positivo satisface
cierta fórmula. Otra utilización frecuente es la de demostrar que un
programa de computación o que un algoritmo con ciclos funciona como se
espera.
consideremos una lista de proposiciones p(1), p(2), p(3), ... con índices en
los enteros positivos  +. Todas las proposiciones p(n) son verdaderas a
condición de que:

(B) p(1) sea verdadera.

(I) p (n + 1) es verdadera siempre que p(n) lo sea.

nos referimos a (B), es decir al hecho de p (1) es verdadera, como la base

de la inducción y nos referimos a (I) como el paso inductivo. En la notación
del cálculo proposicional (I) equivale decir que:

La implicación p(n)  p (n + 1) es verdadera   n    +.

4.3. Los métodos deductivo e inductivo

Método inductivo
Es una forma de razonar partiendo de una serie de observaciones
particulares que permiten la producción de leyes y conclusiones generales.
La observación es uno de los aspectos clave en el método inductivo. La
experiencia de los fenómenos es importante en las áreas científicas donde
se recolectan datos de hechos y fenómenos observados, para llegar a una
hipótesis o teoría general.
Pasos del método inductivo

 Se observan y registran los hechos y fenómenos.

 Se comparan y analizan los datos recolectados de varias
observaciones y sus posibles relaciones.
 Se establecen generalizaciones (o leyes).
 Estas generalizaciones se usan para predecir futuros fenómenos.

Ejemplo:

Un ejemplo simple es el de averiguar el resultado de la suma de los ángulos

internos de un triángulo.

Método deductivo

El método deductivo es un tipo de razonamiento usado para aplicar leyes o

teorías a casos singulares. Es el método utilizado en las ciencias formales,
como la lógica y la matemática. Además, el razonamiento deductivo es
clave en la aplicación de leyes a fenómenos particulares que se estudian en
la ciencia. Es una forma jerárquica de razonamiento, ya que se parte de
generalizaciones, que poco a poco se aplican a casos particulares. Esto hace
al método deductivo muy útil para producir conocimiento de conocimientos
anteriores. También es práctico cuando es imposible o muy difícil observar
las causas de un fenómeno, pero sí aquellas consecuencias que produce.

En el método deductivo se puede incurrir a conclusiones erróneas si las

premisas no son verdaderas. Por ejemplo, considerando las siguientes
premisas:

 Premisa 1: Todos los hombres son malos.

 Premisa 2: Tu abuelo es hombre.
 Conclusión: Por lo tanto, tu abuelo es malo.

4.3.1Diferencia entre inducción y deducción

Inducción y deducción son formas de razonamiento. La inducción intenta

llegar a conclusiones generales a partir de premisas particulares, mientras
que la deducción se apoya en premisas generales para llegar a una
conclusión particular.
 4.4. Reglas de inferencia, silogismos

Regla de inferencia
Es la forma del razonamiento (Reglas de inferencia) de Inferencia lógica.
Una inferencia lógica es el proceso de obtención de una proposición a
partir de otra u otras proposiciones dadas, a las cuales se aplican reglas de
inferencia, de tal manera que la conclusión sea consecuencia lógica de las
premisas. “Una inferencia es válida si, y solo si la conjunción de las
premisas implica la conclusión. Una inferencia es concluyente o correcta si
se realiza de acuerdo con una regla de inferencia válida”. Simbólicamente:
sean p (con i=1, 2, 3, 4, …n) premisas y q la conclusión.

Tipos de reglas de inferencias

Las reglas significativas de inferencia en la lógica proposicional incluyen

modus ponens, modus tollens y contraposición.
La lógica de predicados de primer orden usa reglas de inferencia para
liderar con cuantificadores lógicos
Silogismos

Elementos de silogismo
Los elementos de un silogismo son:

Un término sujeto S.
Un término predicado P.
Un término medio M,.
Un antecedente, el cual consta de dos juicios llamados premisas.
Un consecuente, el juicio resultante como conclusión.
Estructura del silogismo
La estructura del silogismo es fija, sin importar el asunto que abordan o la
naturaleza de sus premisas, y consta de tres elementos:
Una premisa mayor, equivalente a un predicado de la conclusión (P).
Una premisa menor, equivalente a un sujeto de la conclusión (S).
Un término medio, con el que P y S se comparan.
Un consecuente o conclusión, al que se llega afirmando o negando la
relación entre P y S. El ejemplo más clásico del silogismo es:
Todos los hombres son mortales. (Premisa mayor)
Pedro es hombre. (Premisa menor)
Luego, Pedro es mortal. (Conclusión)

4.5. Técnicas de deducción y demostración

4 técnicas de deducción
Regla de Presunción (Pre)
El Silogismo Hipotético (SH)
Equivalencias de Doble Negación (DN)
Equivalencia del Contrapositivo de la Implicancia (CpI)
Técnicas de demostración

4.6. Teorías axiomáticas

Una teoría axiomática está formada por postulados o axiomas que son
proposiciones primeras que se aceptan sin demostración. En una disciplina
pueden darse axiomas equivalentes, donde en una puede ser un axioma y en
otra un teorema.

Por lo tanto, la clasificación de una proposición como axioma o teorema

depende del sistema que queramos formalizar.

Características de una teoría axiomática:

 Debe mostrar la condición de que no tenga contradicciones. En

ese caso el sistema axiomático es compatible.

 Debe ser independiente, es decir ningún axioma puede ser

demostrado en base a los demás.

 Toda proposición que surja de la teoría axiomática en estudio

debe ser factible de ser demostrable o refutable. No puede
formarse un nuevo axioma de lo ya establecido (minimalidad del
sistema axiomático).
 Se dice que el sistema axiomático es categórico si para par de
interpretaciones completas existe un isomorfismo que las
relacione.

 Ese conjunto de interpretaciones completas forma la matemática

aplicada (a diferencia de la matemática pura que trabaja con
abstracciones).
Requisitos para crear una teoría axiomática:

 Lenguaje, símbolos y fórmulas de la teoría.

 Los axiomas, que son proposiciones acerca de los objetos de la

teoría y que imponen funcionamiento de dichos objetos.
  Los teoremas, que son todas las proposiciones demostrables con
herramientas lógicas a través de los axiomas.
Axiomas de la teoría axiomática ZF
1- Axiomas de extensibilidad y separación

El axioma extensibilidad afirma que si dos conjuntos tienen los

mismos elementos entonces son iguales:

2- Axiomas de par, unión y de las partes.

El axioma de par indica que existen infinito conjuntos:

4.7. Los lenguajes formales de primer orden y de segundo orden

El Lenguaje de Primer Orden, como el resto de los lenguajes formales,

requieren de un conjunto de símbolos, así como reglas de combinación
entre ellos. El resultado son expresiones gramaticalmente correctas
llamadas Fórmulas Bien Formadas que son las que usaremos para expresar
al Lógica de Primer Orden.
La Lógica de Primer Orden explota los recursos de la Lógica de
Proposiciones. Es por ello por lo que usaremos los conectores que vimos en
artículos previos: ⊻ ¬ ∧ ∨ → ↔⊻ ¬ ∧ ∨ → ↔. Además, también tendremos
los símbolos ∀∀ y ∃∃. Por último, necesitaremos de los paréntesis ((,)) y
los corchetes [[ y]] para dar estructura a las fórmulas.
A un lenguaje cualquiera definido de manera que sea capaz de expresar la
Lógica de Primer Orden lo llamaremos ΛΛ y no será otra cosa que un
conjunto de cadenas de diferente tamaño formadas por los símbolos del
Alfabeto de Primer Orden que hemos apuntado antes. Un ejemplo de
cadena de ese alfabeto podría ser «A∧∧(P)) A∧∧(P)) «. Pero si queremos
que este lenguaje nos sirva para expresar la Lógica de Primer Orden, no
queremos que cadenas como estas formen parte de dicho lenguaje, pues no
podremos adjudicarles significado alguno. Deberemos entonces restringir
los tipos de cadenas que vayan a formar parte de ΛΛ.
Para ello será necesario definir nuestro lenguaje estableciendo que
elementos pueden formar parte de él. Las expresiones que formen parte
de ΛΛ serán fórmulas bien formadas. Para establecer que fórmulas serán

Lenguaje de segundo orden

El pensamiento de segundo orden se puede definir en una sola frase: pensar
sobre lo pensado. Consiste en analizar las hipotéticas consecuencias de las
consecuencias de algo que tenemos a mano o qué podríamos hacer de
inmediato. Esta forma de pensamiento se usa para comprender mejor la
realidad, resolver problemas, tomar decisiones y generar nuevas ideas. Pese
a que es muy útil y necesario en multitud de situaciones, también es un
proceso de pensamiento muy escaso.
El pensamiento de segundo orden es una herramienta muy recurrente tanto
en el mundo de la ciencia como en el sector empresarial, pero lo cierto es
que se puede aplicar en absolutamente cualquier situación, incluyendo
nuestra vida personal. Al fin y al cabo, es un patrón de pensamiento más
que ayuda en la toma de decisiones, resolución de problemas y prevención
de daños, saliendo de los análisis simples y obvios y analizando la realidad
de una forma más profunda.