UNIDAD 3

Es un proceso por el cual se logra establecer la verdad de una proposición particular a partir de la verdad de
una proposición general utilizando razonamientos deductivos válidos. Esto constituye la forma fundamental
de la lógica de demostrar nuevas verdades a partir de verdades conocidas, haciéndolo de lo general a lo
particular.

Es un procedimiento por el cual se demuestra la verdad de una proposición llamada conclusión partiendo
de hipótesis o premisas que se asume que son verdaderas.

Es una relación entre hipótesis o premisas y una conclusión que es válida si la conclusión resulta verdadera
cada vez que las hipótesis sean simultáneamente verdaderas.

Un razonamiento es una relación por lo que se dice que es válida o no. Un razonamiento que no es válido se
dice que es una falacia.

Un razonamiento será válido si la verdad de las premisas es evidencia de la verdad de la conclusión, no es

posible que las premisas sean verdaderas y la conclusión falsa.

El razonamiento resultará valido si 𝑷𝟏 ∧ 𝑷𝟐 ∧. . .∧ 𝑷𝒏 → 𝑸 es una tautología.

Si un razonamiento es válido, la relación entre las premisas mismas y entre ellas y la conclusión, conforman
un esquema válido independiente de los valores de verdad o falsedad de las proposiciones. A este esquema
se le llama REGLA DE INFERENCIA o REGLA DE DEMOSTRACIÓN.

Si p y p→q son ambas VERDADERAS, q también es

VERDADERA

Presupone la veracidad de las premisas para asegurar la veracidad de la conclusión.

Si p→q es VERDADERA y q FALSA, se infiere que p

es FALSA

Establece que si una proposición implica a otra falsa, entonces la primera también lo es.

Si p→q y q→r son ambas VERDADERAS, se infiere

que p→r también es VERDADERA

Resulta ser la propiedad transitiva de la implicación.

También llamada PREDICADO o PROPOSICIÓN. Es toda oración declarativa que asigne una determinada
propiedad “F” a un objeto indeterminado “x” y que se convierta en proposición lógica al instanciarlo.

Significa asignar un valor específico, debe entenderse como cada asignación específica dada a la variable
indeterminada “x”.

Al instanciar una variable, la función proposicional se convierte en una proposición por especialización.

Los valores que se asignan a las variables deben pertenecer a una colección llamada UNIVERSO DE
DISCURSO o DOMINIO. Esta colección se entiende implícitamente.

Es una colección de objetos que comparten alguna característica común, conforman una abstracción.

Se denota con mayúsculas (A, B, C, …) a las clases y con minúsculas (a, b, c, …) a los objetos que la componen.

Si un objeto “x” posee la propiedad o característica que define la clase, se dice que es miembro de ella o que
pertenece a ella. En símbolos:

𝒙 ∈ 𝑪, x pertenece a C

𝒙 ∉ 𝑪, x no pertenece a C

Es una clase a la que NO le pertenece ningún objeto miembro, se denota por el símbolo ⊘.

Para obtener proposiciones generales que identifiquen clases, se utiliza un proceso llamado DE
CUANTIFICACIÓN o DE GENERALIZACIÓN. Si asociamos la variable x en una funcion con los términos todos,
algunos, ningunos, algunos no, podemos formar proposiciones generales que afirmen relaciones entre
clases y entre objetos y clases.

Una RELACIÓN DE INCLUSIÓN es una relación entre clases. Una RELACIÓN DE PERTENENCIA es una relación
entre objetos y clases.

“∀ x :”: ‘para todo x se verifica que’ o ‘para todo x

tal que’
“∀ x : F(x)”: ‘todo x posee la propiedad F’
La función proposicional se encuentra cuantificada universalmente.

“∃ x /”: ‘existe al menos un x tal que’

“∃ x / F(x)”: ‘existe un x, que posee la propiedad F’

La función proposicional se encuentra cuantificada existencialmente.
Una función proposicional cuantificada adquiere el rango de proposición lógica.
Una proposición categórica que tenga una de las siguientes formas:

PROPOSICIÓN UNIVERSAL AFIRMATIVA: Todo miembro de A, es miembro de B.

∀𝒙∶𝒙∈𝑨→𝒙∈𝑩
Representa relaciones entre clases. Se dice que A está incluida en B o que A es parte de B, o que A es una
subclase de B, o que B es una superclase de A. Se denota A ⊆ B.

La clase vacía está incluida en cualquier clase.

PROPOSICIÓN UNIVERSAL NEGATIVA: Ningún miembro de A, es miembro de B.

∀𝒙∶𝒙∈𝑨→𝒙∉𝑩
Representa relaciones entre clases. Se dice que A y B son disjuntas, ya que no tienen miembros en común.

PROPOSICIÓN PARTICULAR AFIRMATIVA: Algunos miembros de A, son miembros de B.

∃𝒙/𝒙 ∈ 𝑨 ∧ 𝒙 ∈ 𝑩
Representa relaciones entre elementos y clases. Establece que las clases tienen al menos un elemento en
común.

PROPOSICIÓN PARTICULAR NEGATIVA: Algunos miembros de A, no son miembros de B.

∃𝒙/𝒙 ∈ 𝑨 ∧ 𝒙 ∉ 𝑩
Representa relaciones entre elementos y clases. Establece que las clases tienen al menos un elementos no
común.

También llamada LÓGICA DE PRIMER ORDEN.

Se utiliza una notación que tiene mayor poder expresivo que muestra en símbolos las relaciones entre los
significados de las proposiciones.

Con la notación de funciones proposicionales se puede expresar que hay un sujeto y un predicado en la
oración. El predicado está aplicado a todo un universo de sujetos (relación entre clases de objetos) y a un
elemento de ese universo (relación entre un objeto y la clase a la cual pertenece).

Siempre existe un dominio constituido por todos los objetos posibles de reemplazar las variables
indeterminadas. Este dominio no puede ser vacío.

Si en un predicado tenemos un objeto indeterminado dos o más veces debemos colocar la misma variable
en cada predicado para no cambiar el sentido de la frase.

Se pueden formar predicados compuestos utilizando los conectivos de la lógica.

Un predicado se puede transformar en un proposición lógica sin especificar el objeto del dominio, utilizando
los vocablos todo, ninguno, algunos, algunos no; ya que establecen relaciones entre clases y entre objetos
y clases.
El valor de verdad de una proposición cuantificada depende del dominio pero no de la variable ya que esta
se encuentra ligada o acotada por el cuantificador. Se puede tener variables ligadas y libres respecto del
cuantificador.

1) Si un predicado cuantificado universalmente es verdadero, entonces el mismo predicado

cuantificado existencialmente es verdadero

∀𝒙: 𝑷(𝒙) ⇒ ∃𝒙/𝑷(𝒙)

2) Negaciones de predicados cuantificados

∼ [∀𝒙: 𝑷(𝒙)] ≡ ∃𝒙/∼ 𝑷(𝒙)

∼ [∃𝒙/𝑷(𝒙)] ≡ ∀𝒙: ∼ 𝑷(𝒙)
3) Sean dos predicados P(x) y Q(x) asociados a un dominio:
a) 𝑷(𝒙) ⇒ 𝑸(𝒙) sii 𝑷(𝒙) → 𝑸(𝒙) es verdadero para cada elemento a del dominio.
b) 𝑷(𝒙) ≡ 𝑸(𝒙) sii 𝑷(𝒙) ↔ 𝑸(𝒙) es verdadero para cada elemento a del dominio.

4) Pueden mezclarse cuantificadores de predicados de más de una variable.

Si ∀ x : P(x) es una proposición verdadera en un

dominio determinado, entonces P(a) es verdadera
para cada elemento a del dominio.

Si P(x) es verdadera al reemplazar x por un

elemento c del dominio, ∀ x : P(x) también es
verdadera en el dominio.
Es una estructura matemática utilizada en el estudio de los procesos repetitivos.

Es una estructura discreta utilizada para representar una lista ordenada de elementos.

Es una secuencia ordenada de números llamados términos, entre cada uno de ellos hay una relación que se
debe cumplir para determinar el próximo elemento.

Formalmente, una secesión es una función o aplicación de un subconjunto de los números enteros en un
conjunto S.

La sucesión se representa como un conjunto de elementos escritos en un renglón: am, am+1, am+2, … , an.

Se usa ak para simbolizar un elemento o término. La k se denomina índice y señala la posición u orden del
elemento en la sucesión. La sucesión puede representarse como {ak}.

Las sucesiones pueden ser finitas o infinitas. En el caso que sean infinitas se suelen representar con la
notación elíptica, donde se utilizan “…” llamados puntos suspensivos y significa “y así sucesivamente”.

Una serie es una sumatoria de sucesiones. Se representa con la letra Sigma ⅀.

Es un proceso mediante el cual se distinguen nuevas verdades generales a partir de verdades particulares,
haciéndolo de lo particular a lo general.

El principio de inducción matemática establece un método de razonamiento para demostrar la verdad o

falsedad de ciertas proposiciones generales referidas a los números naturales, haciendo uso de las
propiedades que tienen los números naturales por definición.

1) El cero es un número natural.

2) Si a es un número natural cualquiera, el número siguiente a+1 también es un número natural.
3) Cualquier subconjunto no vacío de números naturales tiene un elemento mínimo (llamado también
principio del buen orden)

Es un lema que establece que todo conjunto ordenado que esté formado únicamente por números naturales
tiene un primer elemento. El primer elemento de los números naturales es 0.
Una función proposicional F(n) referida a los números naturales es verdadera para cualquier número natural
n≥n0 si se satisfacen dos condiciones:

La proposición F(n0) es verdadera para algun número natural n0. (n0 es un número natural inicial para el cual
la función se transforma en una proposición lógica verdadera, por lo general son los primeros números
naturales)

La veracidad de F(k) para cualquier número natural k≥n0 implica la veracidad de F(k+1) para el número natural
siguiente k+1. La suposición de que F(k) es verdadera para algún número natural k se denomina hipótesis
inductiva.

1) Se plantea la Base Inductiva

2) Se plantea el Paso Inductivo
3) Se plantea la Hipótesis Inductiva para un k
4) Se demuestra la verdad de k+1