Logr 29598

INSTITUTO TECNOLGICO SUPERIOR DE CALKIN
EN EL ESTADO DE CAMPECHE
INGENIERA EN SISTEMAS COMPUTACIONALES
MATEMTICAS PARA COMPUTADORA
1. LGICA MATEMTICA
ISC. YAQUELINE PECH HUH
PRESENTACIN
Podemos pensar a la lgica como el estudio del razonamiento correcto. El
razonamiento es el proceso de obtener conclusiones a partir de suposiciones o
hechos. El razonamiento correcto es el razonamiento en el que las conclusiones
se siguen necesaria e inevitablemente de las suposiciones o hechos.
Este trabajo trata sobre Lgica Matemtica y Enseanza, especialmente

sobre algunos elementos del anlisis de tipo lgico que es necesario hacer para
comprender el lenguaje de la matemtica y la estructura lgica de sus
demostraciones, a las que consideramos razonamientos correctos.
Una inquietud muy natural en un alumno interesado en un curso de lgica

matemtica, es la de "aprender a demostrar en matemticas".
Esta inquietud
proviene del hecho de que el alumno no tiene claro qu es demostrar, ni por qu

hay que demostrar, ni tiene claro el concepto de verdad en matemticas. Slo
tiene preparacin regular en la manipulacin mecnica de algunos conceptos
matemticos, pero carece de espritu analtico. Confunde los desarrollos
formalistas mecanicistas y
la memorizacin con el razonamiento correcto. Es
precisamente esa falta de espritu analtico lo que provoca un rechazo al anlisis

de conceptos, principios y mtodos bsicos de la matemtica, como por ejemplo,
el concepto de lmite, el principio de induccin matemtica y el mtodo de
reduccin al absurdo.
Lo primero que hay que aclarar ante esta inquietud, es que no es posible
ensear a demostrar en matemticas, ya que no hay "recetas" para ello. Sin
embargo, se pueden dar elementos suficientes para que uno mismo vaya
aprendindolo.
Con el objeto de subsanar todas las deficiencias antes mencionadas, lo

cual no se hace en ningn curso regular, sino que se efecta de modo autodidacta
a base de aclarar confusiones y rectificar errores, proponemos un curso bsico
que se puede llamar "Anlisis Lgico" o "Introduccin a la Lgica Bsica". Este
curso podra ser un curso propedutico para licenciaturas relacionadas con
matemticas, como computacin, fsica, actuara e ingeniera. No es un curso de
Lgica Matemtica propiamente dicho, pero pretende resolver este problema que
tiene el alumno al enfrentarse al lenguaje y tcnicas lgico deductivas de la
matemtica, antes de poder enfrentarse a la matemtica misma.
NDICE DE CONTENIDO
1. PORTADA
2. PRESENTACIN
3. OBJETIVOS GENERALES
4. UNIDAD TEMTICA
1. LGICA MATEMTICA
1.1 Argumentos y Tipos de Proposiciones
1.1.1
Concepto de Argumento
1.1.2
Proposiciones Simples y Compuestas
1.2 Conexiones Lgicas y Jerrquicas

1.2.1
Conjuncin
1.2.2
Disyuncin
1.2.3
Condicional
1.2.4
Bicondicional
1.2.5
Negacin
1.3 Clculo de Predicados

1.3.1
Definicin
1.3.2
Variables
1.3.3
Cuantificadores
1.3.4
Diagramas de Venn
1.4 Algebra declarativa

1.4.1
Conceptos
1.4.2
Tablas de Verdad
1.5 Induccin Matemtica

1.5.1
Induccin Matemtica (Conceptos)
1.5.2
Pasos de la Induccin Matemtica
1.5.3
1.6 Inferencia y evaluacin de expresiones
1.6.1
Reglas de Inferencia
1.6.2
Evaluacin de Expresiones
1.7 Tautologa y Contradicciones

1.7.1
Equivalencias Lgicas
1.7.2
Demostracin condicional
1.7.3
Demostracin por contradiccin
5. CRITERIOS DE EVALUACIN
6. EVALUACIN
7. BIBLIOGRAFA
OBJETIVOS GENERALES
El alumno
o conocer los conceptos bsicos de la lgica matemtica
o Identificar Argumentos dentro de un texto.
o Identificar los diferentes tipos de proposiciones y establecer
vnculos con programacin.
o Utilizar las conexiones lgicas para establecer proposiciones
compuestas, igualmente establecer su simbologa y tablas de
verdad para cada una.
o Utilizar tablas de verdad para decidir si los argumentos son
verdaderos o falsos.
o Utilizar los diagramas de Venn como herramienta para comprobar
si la conclusin es consecuencia lgica de las hiptesis.
o Utilizar
la
Induccin
Matemtica
como
herramienta
para
comprobar o determinar si una frmula se puede utilizar para

cualquier termino incluyendo el n+1
o Conocer y aplicar las reglas de Inferencia para establecer la
conclusin adecuada para las hiptesis.
o
Conocer las reglas para la evaluacin de expresiones y

determinar prioridades.
o Utilizar la demostracin directa o condicional y la demostracin

por contradiccin para probar que los Argumentos son correctos
Utilizando los teoremas, axiomas, trminos y trminos no definidos.
o Conocer el concepto de Tautologa y Contradiccin
1.1. Argumentos y Tipos de Proposiciones

Objetivos Especficos:
Conocer los conceptos bsicos de la lgica Matemtica
Identificar el argumento como parte de un enunciado
Conocer el concepto de Proposicin
Aplicar los conceptos para distinguir los enunciados que son
proposiciones Simples o compuestas.
Instrucciones Especficas:
Lee Cuidadosamente el material que se presenta
Realiza los ejercicios correspondientes a cada subtema
EL azul indica el concepto del subtema
Los conceptos ms importantes estn resaltados con negritas
Verifica los Ejemplos como parte de tus prcticas
Toma en cuenta las NOTAS para agilizar tu comprensin.
Antecedentes:
LGICA MATEMTICA
La lgica estudia la forma del razonamiento, es una disciplina que por
medio de reglas y tcnicas determina si un argumento es vlido. La lgica es
ampliamente aplicada en la filosofa, matemticas, computacin, fsica. En la
filosofa para determinar si un razonamiento es vlido o no, ya que una frase
puede tener diferentes interpretaciones, sin embargo la lgica permite saber el
significado correcto. En la computacin para revisar programas. En general la
lgica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un
procedimiento lgico, por el ejemplo; para ir de compras al supermercado una ama
de casa tiene que realizar cierto procedimiento lgico que permita realizar dicha
tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento
lgico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la
parte baja de la pared si antes no pint la parte alta porque se manchara lo que
ya tiene pintado, tambin dependiendo si es zurdo o derecho, l puede pintar de
izquierda a derecha o de derecha a izquierda segn el caso, todo esto es la
aplicacin de la lgica.
La lgica matemtica es la disciplina que trata de mtodos de

razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para
determinar si es o no valido un argumento dado. El razonamiento lgico se emplea
en matemticas para demostrar teoremas; en ciencias de la computacin para
verificar si son o no correctos los programas; en las ciencias fsica y naturales,
para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida

cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma
constante el razonamiento lgico para realizar cualquier actividad.
1.1.1 Concepto de Argumento
Un argumento es un conjunto finito y ordenado de afirmaciones de las cuales se

dice que la ltima, llamada conclusin, se sigue de las anteriores, llamadas
premisas. Un argumento es correcto si y slo si la conclusin es consecuencia
lgica de las premisas; esto quiere decir que para cada interpretacin del lenguaje
respecto a la cual todas las premisas son verdaderas, la conclusin ser
necesariamente verdadera.
NOTA:
Un argumento es correcto o incorrecto, independientemente de sus
interpretaciones. Dicho de otra manera, es correcto si no hay interpretacin alguna
para la cual las premisas sean todas verdaderas y la conclusin sea falsa. Una
proposicin es una oracin que puede ser falso o verdadero pero no ambas a la
vez. A continuacin se tienen algunos ejemplos de proposiciones vlidas y no
vlidas Las proposiciones se indican por medio de una letra minscula, dos puntos
y la proposicin propiamente dicha.
jemplo:
p: La tierra es plana.
q: -17 + 38 = 21
r: x > y-9
s: El Morelia ser campen en la presente temporada de Fut-Bol.
t: Hola como estas?
w: Lava el coche por favor.
Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero;
por lo tanto son proposiciones validas. El inciso r tambin es una proposicin
valida, aunque el valor de falso o verdadero depende del valor asignado a las
variables x y y en determinado momento. La proposicin del inciso s tambin esta
perfectamente expresada aunque para decir si es falsa o verdadera se tendra que
esperar a que terminara la temporada de fut-boll. Sin embargo los enunciados t y
w no son vlidos, ya que no pueden tomar un valor de falso o verdadero, uno de
ellos es un saludo y el otro es una orden.
Ejercicio:
Completa el siguiente enunciado y forma un Argumento
Jalil dice que todos los griegos Mienten
Jail miente si dice la verdad
________________________
1.1.2 Proposiciones Simples y Proposiciones Compuestas
Una Proposicin Simple es una afirmacin como

1+1=3
La cual es verdadera o falsa pero no ambas cosas a la vez. Se usan letras
minsculas, como p, q o r para denotar las proposiciones.
jemplo:
p : 1 +1 = 3 para definir que p es la proposicin.

p : Hay un premio Gramy Latino para los Artistas
q : Los Ovnis provienen de Marte
r : Terminado tu tarea te tienes que baar
NOTA:
p y q son proposiciones, p es falsa y q es verdadera o falsa pero no

ambas a la vez, pero nadie lo sabe hasta el momento: r no es una
proposicin por que r es un mandato no es verdadera ni falsa.
Existen conectores u operadores lgicas que permiten formar proposiciones

compuestas (formadas por varias proposiciones).
Una Proposicin Compuesta es aquella que esta formada por dos o ms

proposiciones simples.
jemplo:
Sea: p: La materia es muy Terica

q: El examen est fcil
r: el sol est fuerte
La proposicin compuesta es: La materia es muy terica o el examen est fcil.
Ejercicio:
I.- De las siguientes sentencias Identifica cuales son proposiciones y cuales no

1.- Hace calor
2.- Maana no hay clases
3.- Es tarde
4.- Cuantos aos tienes?
5.- Ayer hubo fiesta.
II.- Tomando como base las proposiciones del ejemplo anterior p, q, r escrbelas
como proposiciones compuestas siguiendo las condiciones.
1) p o q entonces r
2) r y p entonces q
3) no p entonces q o r
EVALUACIN DE APRENDIZAJE
1.- El enunciado lava el coche por favor? es un ejemplo de:

a) Un enunciado que no es proposicin
b) una proposicin
c) Axioma
d) Premisa
e) Conclusin
2.- Encuentra la respuesta al siguiente argumento:
Jalil dice que todos los griegos mienten
Jalil miente si dice la verdad
Entonces:_______________
a) Jalil dice la verdad cuando miente.
b) Jalil miente y los griegos mienten
c) Todos los griegos mienten
d) no es cierto lo que dice jalil
e) Jalil miente todo el tiempo y los griegos no
3.- Determina cual es la expresin simblica que se aplica para la condicin del cdigo:
j: = 1; i:=1;
while (i<2 and j<5) or i + j = 5 do
begin
i:= i +2; j:=j +1;
End.
a) (p q) V r
b) (p V r) V q
c) p (p q)
d) p V q V r
e) p q r
1.2. Conexiones Lgicas y Jerrquicas

Conocer el concepto de Conjuncin, as como su simbologa.
Establecer los criterios de verdad para la conjuncin.
Identificar aplicaciones de la conjuncin dentro del esquema de
programacin.
Conocer el concepto de Disyuncin, as como su simbologa.
Establecer los criterios de verdad para la Disyuncin.
Identificar aplicaciones de la Disyuncin dentro del esquema de
programacin.
Aplicar los conceptos para formar proposiciones compuestas utilizando los
criterios de conjuncin y disyuncin establecidos.
Conocer el concepto de proposicin condicional, as como su simbologa.
Establecer los criterios de verdad para la proposicin condicional
Identificar aplicaciones de la proposicin condicional dentro del esquema
de programacin.
Aplicar los conceptos para formar proposiciones compuestas utilizando la
proposicin condicional.
Conocer el concepto de proposicin Bicondicional, as como su
simbologa.
Establecer los criterios de verdad para la proposicin Bicondicional
Identificar aplicaciones de la proposicin Bicondicional dentro del esquema

de programacin.
Aplicar los conceptos para formar proposiciones compuestas utilizando la
proposicin Bicondicional.
Conocer el concepto de negacin, as como su simbologa.
Establecer los criterios de verdad para la negacin
Identificar
aplicaciones
de
la
negacin
dentro
del
esquema
de
programacin.
Aplicar los conceptos para formar proposiciones compuestas utilizando los
conectores jerrquicos mencionados.
Toma
en
cuenta
las
NOTAS
para
agilizar
tu
comprensin.
1.2.1 Conjuncin
Operador and (y)
Se utiliza para conectar dos proposiciones que se deben cumplir para que
se pueda obtener un resultado verdadero.
Se llama conjuncin a la proposicin p y q y se simboliza p q
jemplo:
Sea el siguiente enunciado "El coche enciende cuando tiene gasolina en el tanque
y tiene corriente la batera"
Sean:
p: El coche enciende.
q: Tiene gasolina el tanque.
r: Tiene corriente la batera.
De tal manera que la representacin del enunciado anterior usando simbologa

lgica es como sigue:
p=q r
Los valores de verdad para la proposicin compuesta p q
representan en la siguiente tabla:
se
pq
Donde.
T = verdadero
F = falso
En la Conjuncin el resultado solo es verdadero cuando las

NOTA:
proposiciones que las componen ambas son verdaderas, en los

casos restantes el resultado es falso
jemplo:
Utilizando la tabla anterior el valor de q=1 significa que el tanque tiene gasolina,
r=1 significa que la batera tiene corriente y p = q r=1 significa que el coche
puede encender. Se puede notar que si q o r valen cero implica que el auto no
tiene gasolina y que por lo tanto no puede encender.
p=qr
Ejercicio:
Suponga que p= T, q= F, y r = F determina si las siguientes proposiciones
compuestas son verdaderas o falsas.
1.- p q
2.- (p q)
3.- ( p r )
(p r )
1.2.2 Disyuncin
Operador Or (o)
Con este operador se obtiene un resultado verdadero cuando alguna de las

proposiciones es verdadera.
Se llama Disyuncin a la proposicin p o q y se simboliza p V q
jemplo:
Sea el siguiente enunciado "El coche enciende cuando tiene gasolina en el tanque
o tiene corriente la batera"
Sean:
p: El coche enciende.
q: Tiene gasolina el tanque.

r: Tiene corriente la batera.
Sea el siguiente enunciado "Una persona puede entrar al cine si compra su boleto
u obtiene un pase".
Donde.
p: Entra al cine.
q: Compra su boleto.
r: Obtiene un pase.
De tal manera que la representacin de los enunciado anteriores usando

simbologa lgica es como sigue:
p=q V r
Los valores de verdad para la proposicin compuesta p V q
se
representan en la siguiente tabla:
pVq
Donde.
T = verdadero
F = falso
En la Disyuncin el resultado solo es Falso cuando las

NOTA:
proposiciones que las componen ambas son falsas en los casos

restantes el resultado es Verdadero
jemplo:
Utilizando la tabla anterior el valor de q=F significa que el no compra su boleto r=T
significa que Obtiene su pase y p = q V r= T significa que el puede entrar al cine.
Ejercicio:
Suponga que p= T, q= F, y r = F determina si las siguientes proposiciones
compuestas son verdaderas o falsas.
1.- p V q
2.- (p V q) V ( p V r )
3.- p V ( p V r )
1.2.3 Condicional
Una proposicin condicional, es aquella que est formada por dos proposiciones
simples (o compuesta) p y q. La cual se indica de la siguiente manera:
p q Se lee "Si p entonces q"
jemplo:
El candidato del PRI dice "Si salgo electo presidente de la Repblica recibirn un
50% de aumento en su sueldo el prximo ao". Una declaracin como esta se
conoce como condicional.
Sean
p: Sali electo Presidente de la Repblica.
q: Recibirn un 50% de aumento en su sueldo el prximo ao.
De tal manera que el enunciado se puede expresar de las siguiente manera.

pq
Quedando:
Sali electo Presidente de la Repblica entonces Recibirn un 50% de aumento

en su sueldo el prximo ao
La proposicin p se denomina hiptesis (o antecedente) y la proposicin q,

conclusin o consecuente.
Los valores de verdad para la proposicin condicional p q se representan en
la siguiente tabla:
pq
Donde.
T = verdadero
F = falso
Si la hiptesis p es verdadera y la conclusin q es falsa entonces

NOTA:
la proposicin condicional es falsa. (NO se debe deducir una

conclusin falsa de una hiptesis verdadera)
jemplo:
La interpretacin de los resultados de la tabla es la siguiente:
Considere que se desea analizar si el candidato presidencial minti con la

afirmacin del enunciado anterior. Cuando p=T; significa que sali electo, q=T y
recibieron un aumento de 50% en su sueldo, por lo tanto p q =T; significa que el

candidato dijo la verdad en su campaa. Cuando p=T y q=F significa que p q
=F; el candidato minti, ya que sali electo y no se incrementaron los salarios.
Cuando p=F y q=T significa que aunque no sali electo hubo un aumento del 50%
en su salario, que posiblemente fue ajeno al candidato presidencial y por lo tanto;
tampoco minti de tal forma que p q =T.
Ejercicio:
Expresa de nuevo cada proposicin en forma de proposicin condicional.
1.- Luis ser buen estudiante si estudia mucho
2.- Ana puede cursar Matemticas para computadora si ha pasado el examen de
concimientos generales o ha ingresado al Itescam
3.- Cuando Patricia canta me duelen los odos
4.- Una condicin necesaria para que el tringulo t sea equiltero es que t tenga
iguales sus tres lados iguales.
Para resolver los ejercicios debes saber que: Una condicin

NOTA:
necesaria es otro nombre para la conclusin; Una condicin

suficiente es otro nombre para la hiptesis.
1.2.4 Bicondicional
Sean p y q dos proposiciones entonces se puede indicar la proposicin
bicondicinal de la siguiente manera:
p q Se lee "p si solo si q"
jemplo:
Sea:
p: Es buen estudiante.
q: Tiene promedio de diez.
El enunciado siguiente es una proposicin bicondicional
"Es buen estudiante, si y solo si; tiene promedio de diez" quedando expresado en
forma simblica de la siguiente manera
pq

la siguiente tabla:
pq
Donde.
T = verdadero
F = falso
La proposicin compuesta p q ser verdadera cuando ambas

NOTA:
proposiciones p y q sean iguales en sus valores de verdad, es decir
cuando ambas sean verdaderas o ambas falsas.
Ejercicio:
Expresa de nuevo la proposicin en forma de proposicin bicondicional.
1.- Un tringulo es un tringulo rectngulo cuando a2 + b2 = c2
2.- Encuentra en un peridico ejemplos de proposiciones bicondicionales
1.2.5 Negacin
Operador Not (no)
Si p es un proposicin la negacin de p se obtiene invirtiendo simplemente

los valores de verdad de p. Se simboliza de la siguiente manera.
p
Su funcin es negar la proposicin. Esto significa que s alguna proposicin

es verdadera y se le aplica el operador not se obtendr su complemento o
negacin (falso).
jemplo:
p: Nicole Kitman Protagoniz la pelcula los Otros

p :Nicole Kitman Protagoniz la pelcula los Otros
la siguiente tabla:
ANEXOS
Adems de los operadores bsicos (and, or y not) existe el operador xor, cuyo
funcionamiento es semejante al operador or con la diferencia en que su resultado
es verdadero solamente si una de las proposiciones es cierta, cuando ambas son
verdad el resultado es falso.
En este momento ya se pueden representar con notacin lgica enunciados ms

complejos. Ejemplo
Sean las proposiciones:
p: Hoy es domingo.
q: Tengo que estudiar teoras del aprendizaje.
r: Aprobar el curso.
El enunciado: "Hoy es domingo y tengo que estudiar teoras de aprendizaje o no

aprobar el curso". Se puede representar simblicamente de la siguiente manera:
p q r
Por otro lado con ayuda de estos operadores bsicos se pueden formar los
operadores compuestos Nand (combinacin de los operadores Not y And), Nor
(combina operadores Not y Or) y Xnor (resultado de Xor y Not).
A partir de este momento, ya se est en condiciones de representar cualquier

enunciado con conectores lgicos.
jemplo:
Sea el siguiente enunciado "Si no pago la luz, entonces me cortarn la

corriente elctrica. Y Si pago la luz, entonces me quedar sin dinero o pedir
prestado. Y Si me quedo sin dinero y pido prestado, entonces no podr pagar la
deuda, si solo si soy desorganizado"
Donde:
p: Pago la luz.
q: Me cortarn la corriente elctrica.
r: Me quedar sin dinero.
s: Pedir prestado.
t: Pagar la deuda.
w: soy desorganizado.
Ejercicio:
Expresa en forma de negacin los siguientes enunciados
1.- Todos los cuadrados son rectngulos
2.- Ningn par de rectas paralelas se interfecta
3.- Algunos grafos son rboles
4.- algunos lenguajes libres de contexto no son lenguajes regulares.
1.- Evaluar las siguientes proposiciones segn los valores de verdad p = F, q = T, r = F
y determinar si son verdaderas o falsas.
a) Verdadero, falso, falso
b) falso, falso, falso
c) falso, verdadero, falso
d) verdadero, verdadero, falso
e) verdadero, falso, verdadero.
2.- Tomando como base las proposiciones p:la materia es terica, q: El examen est difcil,
r:El sol est fuerte. La proposicin compuesta no p entonces no q o r queda:
_____________________
a) La materia es prctica entonces el examen es fcil o el sol esta fuerte
b) La materia no es terica entonces el examen est fcil o el sol esta fuerte
c) La materia es prctica entonces el examen es dificil o el sol esta fuerte
d) La materia no es terica entonces el examen est difcil o el sol no esta fuerte
e) No es verdad que la materia es terica y que el examen esta fcil o el sol est fuerte
3.- Una conclusin suficiente dentro de un argumento es igual a:
a) hiptesis
b) conclusin
c) argumento
d) axioma
e) definicin
1.3. Clculo de Predicados

Identificar el predicado como elemento de una expresin.
Emplear la metodologa para estructurar
las expresiones en la forma
correcta, resaltando el predicado.

Conocer las variables que se utilizan para el clculo de predicados
Identificar los cuantificadores en el mundo real.
Utilizar los cuantificadores para sentar las bases de los diagramas de
Venn
Utilizar los diagramas de Venn como herramienta para comprobar si la
conclusin es consecuencia lgica de las hiptesis.
Realiza los ejercicios correspondientes
1.3.1 Definicin
DEFINICIN:
Si P es un smbolo de predicado de n argumentos y t1,t2, ..., tn son trminos,
Entonces:
P(t1,t2,...tn) es un trmino.
Ninguna otra expresin puede ser un trmino.
En la siguiente lectura trataremos la forma como se convierte formulas del Clculo

de Predicados a formas sin cuantificadores, las cuales son ms fciles de
manejar. Como veremos, estas formas, llamadas formas normales prenexas
permiten un manejo similar al que se hace con el Clculo de Proposiciones.
El Clculo de predicados trata solamente con valores de las

NOTA:
proposiciones y cmo se relacionan y se opera con ellos; pero no

dice nada respecto a la relacin que pueda existir en el dominio de
interpretacin de la proposicin.
jemplo
Es
un
tratamiento
deductivo
puramente
sintctico
en
las
variables
preposicionales y en las expresiones no se refleja si hay o no una relacin entre p

y q o entre p y r, etc.
As estas proposiciones pueden representar igualmente:
a)
Juan est cansado o enfermo
Si Juan est cansado, se queda en casa
No se queda en casa. Luego est enfermo
Donde todas las proposiciones estn referidas a un mismo elemento del

dominio de interpretacin: "Juan".
b)
En el desierto hay arena o Juan tiene gripe
Si en el desierto hay arena entonces tengo hambre
Yo no tengo hambre
Luego, Juan tiene gripe
Donde no hay, aparentemente, ninguna relacin entre las proposiciones; sin

embargo, ambas interpretaciones son correctas y la conclusin es vlida.
NOTA:
El Clculo de Predicados refleja las relaciones que existen entre

los elementos del dominio y si estas relaciones estn referidas a
parte del dominio o a todo el dominio.
El Clculo de predicados, resulta til para muchas aplicaciones

computacionales, entre las que podemos citar, anlisis de circuitos, anlisis y
confiabilidad de sistemas mediante rboles lgicos, diversas aplicaciones de
satisfactibilidad a problemas de planeacin, etc. Sin embargo, existe una gran
cantidad de aplicaciones donde el Clculo de predicados no se considera
suficiente, debido a que cuenta con una deductibilidad limitada y en donde es
preferible un tipo especial de lgica conocido como Lgica de Predicados (
Clculo de Predicados). Para explicar esta situacin, consideremos el argumento
conformado con las siguientes sentencias del Clculo Proposicional:
p: Todos los mamferos son mortales

q: Lassie es un mamfero
r:
Lasssie es mortal
Las expresiones p, q, r, son proposiciones, puesto que todas ellas son

enunciados que pueden ser evaluados como V (verdaderos) o F (falsos). Hay que
hacer notar, sin embargo, que mediante la aplicacin de reglas de inferencia del
Clculo Proposicional, no es posible deducir r a partir de las premisas p y q
anteriores, ya que el Clculo Proposicional no tiene acceso a los elementos
comunes que conforman estas proposiciones, como son mamfero, mortal y
Lassie, e indispensables para llegar a la conclusin r resultante. Sin embargo, esta
misma expresin en Clculo de Predicados, se podra escribir distinguiendo los
elementos constitutivos de cada proposicin. Es decir, el Clculo de Predicados se
aplica para las mismas proposiciones que pueden ser enunciadas en Clculo
Proposicional, con la diferencia que en el primero se tiene acceso a los elementos
constitutivos de cada proposicin.
Una de las aplicaciones ms importantes del Clculo de Predicados es la

especificacin formal, la cual permite describir lo que el usuario desea que un
programa realice. sta es una aplicacin que ha empezado a ser empleada para
el desarrollo de al menos las partes crticas de un sistema. De esta manera piezas
de cdigo especificadas formalmente, pueden ser verificadas, en principio,
matemticamente, incrementando la confiabilidad del sistema completo. Existen
varios lenguajes de especificacin formal basados en lgica, como Z o VDM, de
los cuales se hablar ms adelante en este curso.
En el caso de la especificacin y verificacin formal de programas, las

piezas de cdigo son acompaadas por pre y post condiciones, las cuales se
escriben como frmulas del Clculo de Predicados. Las pre y postcondiciones
deben ser vlidas, antes y despus de que la pieza de cdigo correspondiente se
ejecute. Es decir, si la pieza de cdigo satisface su especificacin, entonces se
dice que el programa es correcto.
Por otra parte, dada una pieza de cdigo y sus pre y postcondiciones, se
dice que un algoritmo tiene la propiedad de correctividad si se es capaz de decir si
dicha pieza de cdigo es o no correcta. El anlisis de la correctividad de
algoritmos es una parte fundamental en Ciencias compuationales. Formalmente,
es necesario asegurar una definicin precisa de la pre y post condiciones, de
manera que se interprete de ellas un solo significado; sto es logrado escribiendo

las pre y post condiciones como frmulas del Clculo de Predicados. ste es
particularmente til para describir la semntica de los lenguajes de programacin,
as como para describir el comportamiento funcional de un programa o una parte
de l.
En el Clculo de Predicados hay otras diferencias bsicas respecto al

Clculo de predicadosl, entre las que podemos citar:
* Se indican postulados sobre objetos individuales:
jemplo:
Juan es alto
Se puede escribir:
ES_ALTO(JUAN)
Donde ES_ALTO es un smbolo de predicado y JUAN es una constante.
Ntese que el predicado anterior puede ser evaluado como V (verdadero) o F
(falso).
* Se indican postulados relacionando varios objetos.
jemplo
Es posible expresar:
Juan es to de Mara
En la forma:
ES_TIO (JUAN, MARIA)
Donde ES_TIO es un Smbolo de Predicado que tiene como argumentos a
las constantes
JUAN Y MARIA.
Obsrvese que el predicado anterior podr ser evaluado como F (falso) o V
(verdadero).
* Se utilizan cuantificadores universales y existenciales.
jemplo
El argumento anterior sobre Lassie se puede escribir:
for_all (x) MAMFERO(x) MORTAL (x)
MAMFERO (LASSIE)
MORTAL (LASSIE)
Una posible interpretacin de este modelo se presenta a continuacin:
i) En este argumento tenemos las siguientes premisas:

La primera proposicin seala que todos los elementos x son mamiferos
implican que x es mortal.
La segunda expresin indica que es conocido que Lassie es un
mamfero.
ii) La conclusin de este argumento es:
Lassie es mortal
iii) El nico conector lgico de esta expresin es el smbolo el cual es

como en el caso del Clculo Proposicional, el de implicacin. No obstante en
Clculo de Predicados se pueden utilizar todos los conectores lgicos del Clculo
Proposicional.
Podramos interpretar este argumento indicando que si las dos premisas

son verdaderas, entonces se puede deducir que Lassie es mortal
1.3.2 Variables
En el Clculo de Predicados se usan varios tipos de smbolos:
SMBOLOS DE FUNCIN: Funciones que definen nuevos individuos en

trminos de los previamente conocidos
jemplo
mas(x,y)
padre(x)
SMBOLOS DE PREDICADOS: Predicados que describen un conjunto de

individuos que tienen una propiedad o relacin
jemplo
CONSTANTES. Mantienen la propiedad de todo elemento constante.
MAYOR(ms(x,1),x)
jemplo
CASA, MARA
SMBOLOS DE VARIABLES. Individuos que pertenecen a un dominio no

vaco o conjunto
jemplo
x,y
En Clculo de Predicados, nos referimos a trminos cuando hablamos de

constantes, variables o smbolos de funcin, cuyos elementos sabemos de
antemano que son trminos. As, por ejemplo, la variable x y la constante 1 son
trminos. Dado el smbolo de funcin ms de dos argumentos, las siguientes
expresiones tambin son trminos:
ms (x,1)
ms (ms(x,1),1)
El primero de ellos se refiere a la suma x +1, mientras que el segundo a la

suma de los trminos correspondientes a x+1 con el trmino 1.
Como para el caso del Clculo de Proposiciones, se usan tambin tomos

en el Clculo de Predicados, los cuales son enunciados simples (es decir
predicados), que estn conformados con smbolos de predicados, con varios
trminos como argumentos y que pueden ser evaluados como V (verdaderos) o F
(falsos), de manera que no pueden ser descompuestos en proposiciones ms
simples. De esta manera las siguientes expresiones son tomos:
MAMFERO(x)
MORTAL (LASSIE)
ES_TIO(JUAN, JOSE)
ES_NIETO(PANCHO_VILLA, PEDRO_CASISTRANINI)
Es decir, se puede definir trmino de la siguiente manera:
Adems se trata con formas proposicionales, estructuras que aparecen como

sentencias declarativas, pero que no tienen valores definidos de verdad a causa
de las variables individuales.
Ejemplo:
2+3=4
Es una proposicin
x+3=4
Es una forma proposicional, ya que ser proposicin cuando x
tome algn valor del dominio

Recibe el nombre de Clculo de Predicados de Primer Orden por tener
cuantificadores slo sobre el dominio de individuos.
NOTA:
El clculo de predicado est formado por un conjunto de

predicados concatenados a travs de operaciones lgicas.
Igualmente dentro del clculo de Predicados se utilizan las siguientes simbologas:
Existe:
E
: Para todo
jemplo
Sea el enunciado:
Todos los mamferos son de sangre caliente.
Expresado usando la simbologa del predicado se tiene:

Mamferos ( X ) Sangre caliente ( X )
Ejercicio:
Traduce en forma simblica los siguientes enunciados.

1.- Todos los romanos eran leales a Cesar o lo odiaban
2.- Cesar fue un Rey
3.- Todos los pompeyanos fueron Romanos
4.- Marco Trata de asesinar a Cesar
1.3.3 Cuantificadores y restricciones
Existen dos tipos de cantificadores:

Una cuantificacin existencial
es verdadera respecto a la interpretacin dada, si
hay al menos un individuo en el universo de esa interpretacin, tal que q es

verdadera respecto a esa interpretacin y respecto a ese individuo.
El cuantificador universal utiliza el descriptor todo o nada, es decir se

NOTA:
refiere a todas las acciones que engloban al universo;
jemplo
Todos los miembros del equipo los Cafs de Calkin son jugadores de Baseball
Ningn hecho violento merece ser visto
Una cuantificacin universal es verdadera respecto a la interpretacin dada, si

para todos los individuos en el universo de esa interpretacin, q es
verdadera respecto a esa interpretacin y respecto a cada uno de ellos.
El cuantificador existencial utiliza el descriptor algn c1 esta en C2, o

NOTA:
algn C1 no esta en C2, es decir se refiere a que algunos elementos
pueden pertenecer o no al conjunto.
jemplo
Algunos jugadores de bisbol no estn en el equipo Cachorros

Algunos nmeros reales no son perfectos
1.3.4 Diagramas de Venn
Es una representacin de las clases o conjuntos mediante crculos que se

intersecan.
jemplo
Sean las clases:

C1: los profesores
C2: los humanos
C3: los buenos docentes
Para poder representar un diagrama de Venn se necesita de un razonamiento de

la siguiente forma (tomando como base las clases):
Todo C1 es C2
Todo C3 es C2
Todo C1 es C3
Los diagramas sirven, en ocasiones, para visualizar las operaciones que se

pueden realizar con conjuntos a si el universo se representa mediante rectngulos
y los conjuntos que se extraen mediante curvas cerradas.
Conjunto o Clase
UNIVERSALES
EXISTENCIALES
Todo C1 es C2
Algunos C1 estn en C2
Ningn C1 est en C2
Algunos C1 no estn en C2
Los diagramas de Venn son tiles para determinar la validez de

NOTA:
razonamientos relacionados con proposiciones categricas.
jemplo
Sean los siguientes argumentos

Todos los profesores son humanos
Todos los buenos docentes son humanos
Todos los profesores son buenos docentes
Podemos presentar el razonamiento en la forma:
Todo C1 es C2
Todo C3 es C2
Todo C1 es C3
El diagrama de Venn Que representa la hiptesis se representa:
Considere la regin que tiene la marca palomeada, como esta regin no esta
sombreada, no es vaca necesariamente, es decir pueden haber elementos de C1
que no estn en C3. Por lo tanto la conclusin no es correcta por lo que Ele
razonamiento es falso.
Ejercicio:
Utiliza diagramas de Venn para determinar si los siguientes razonamientos son

vlidos:
1.- Algunos votantes no son Mexicanos
Algunas personas no son votantes
Algunas personas no son Mexicanos
2.- Todos los rboles son grafos

Algunas estructuras no son grafos
Algunas estructuras no son rboles
3.- Todos los perros tienen dos patas

Todos los animales de dos patas son carnvoros
Todos los animales de dos patas son carnvoros
4.- Algunos enteros no son nmeros perfectos

Todos los enteros son nmeros reales
Algunos nmeros reales no son nmeros perfectos
1.- Expresa en forma de predicado el enunciado: Juan es tio de Maria
a) Es tio (Juan, Maria)
b) Es tio (Juan)
c) Es tio (Maria)
d) Es tio (Maria, Juan)
e) Es tio (x)
2.- Es la traduccin en forma simblica del enunciado: Existen personas que toman clase
de manejo con luis o sacan su licencia
a) E personas(x) clases de manejo(x, luis) V licencia(x)
b) E clase de manejo(x) V licencia (x)
c) E personas(x) clases de manejo(x, Luis) V licencia(x, Luis)
d) E clase de manejo(x, Luis) V licencia (x. Luis)
e) E personas(x) clases de manejo(x, luis) V licencia(x, Luis)
3.- Identifica el razonamiento que representa el diagrama de Venn
a) ningun c2 es c1
b) algn c1 es c2
c) todo c1 es c2
d) todo c2 es c1
e) algn c1 no es c2
1.4. Algebra Declarativa

Utilizar los conocimientos previos para realizar tablas de verdad de

proposiciones compuestas.
Utilizar las tablas de verdad para decidir si los argumentos son verdaderos
o falsos
Conocer los conceptos de Axiomas, trminos, trminos no definidos.
Identificara dentro de un prrafo los Axiomas, trminos, trminos no
definidos.
1.5.1 Conceptos
Un sistema matemtico est formado por: Axiomas, Trminos y Trminos no
definidos.
Axiomas: Se suponen ciertos.
Definiciones o Trminos: Se usan para crear nuevos conceptos en trminos de
otros ya existentes.
Trminos no definidos: No estn definidos explcitamente pero si lo estn
implcitamente por los axiomas.
jemplo
Los nmeros reales constituyen un sistema matemtico donde los axiomas son:
Para todo conjunto X y Y, X.Y = Y.X
Existe un subconjunto P de nmeros reales que satisface:
a) si X y Y estn en P entonces X + Y y X.Y estn en P (Trmino)
b) Si X es un nmero real entonces exactamente una de las proposiciones es
verdadera: X est en P, X = 0, -X est en P (Trminos no definidos)
Deduccin: La deduccin lgico matemtica consiste en lo siguiente: A partir de

una serie de frmulas admitidas como ciertas, y denominadas axiomas, hiptesis o
premisas, se obtiene otra frmula llamada conclusin o tesis, mediante la
aplicacin de reglas lgicas precisas. El proceso mediante el cual se pasa de las
hiptesis
(premisas)
la
tesis,
recibe
el
nombre
de
demostracin.
Un teorema es una frmula que figura dentro de una demostracin. Es decir, un
teorema es una frmula que es o bien un axioma, o bien, una consecuencia de

ste.
Una frmula se dice que es falsa si su negacin es un teorema.
Una teora es contradictoria cuando se tiene una frmula r que es verdadera y

falsa
la
vez.
Esto
es:
son
teoremas
de
la
teora.
Para demostrar que una frmula C es un teorema se desarrolla el siguiente

proceso:
Se enuncian los axiomas de la teora. Para la lgica proposicional se

establecen cuatro axiomas (A) que son :
A1. Axioma de idempotencia. Sea P una frmula, entonces, la frmula:
PVPP
es un axioma
A2. Axioma de adjuncin. Sean P Y Q frmulas, entonces, la frmula:
P
VQ
es un axioma.
A3. Axioma de conmutatividad. Sean P, Q y R frmulas, entonces, la
frmula:
PVQ
VP
es un axioma.
A4. Axioma de adicin. Sean P , Q y R frmulas, entonces, la frmula:

(P Q) (R V P
V Q)
es un axioma.
Se fijan las "reglas lgicas" que permiten deducir dicha frmula a partir de
los axiomas. Estas reglas son llamadas reglas de validez (RV) y son las
siguientes:
RV1: Dadas las frmulas R y S; si R S y R son verdaderas, entecos S es

verdadera.
RV2: Si R y S son frmulas equivalentes, se puede sustituirla una por la otra en
cualquier parte del proceso demostrativo.
Se hace una demostracin de la frmula C, que consiste en obtener a C

como ltima frmula de la lista, por aplicacin reiterada de RV1 y RV2.
Ejercicio:
Simbolizar completamente las proposiciones siguientes, utilizando los
smbolos correspondientes a cada trmino de enlace. Indicar las proposiciones
simples sustituidas por cada letra mayscula.
1. En el hemisferio sur, julio no es un mes de verano.
2. Si dos pulsaciones se atraviesan, continan conservando la forma original.
3. O Jaime no es puntual o Tomas llega tarde.
4. Ni Antonio ni Ana estudian en la universidad.
5. O Pedro es presidente y Juan es tesorero, o Jaime es tesorero.
6. Si este cuadro es negro entonces aquel cuadro es rojo y su rey est sobre el
cuadro rojo.
7. A la vez, si este cuadro es negro, entonces, aquel cuadro es rojo y su rey est
sobre el cuadro rojo.
8. Patinaremos s y slo si el hielo no es demasiado delgado.
1.4.2 Tablas de verdad

Los valores de verdad o veracidad de una proposicin compuesta pueden
describirse por una tabla de verdad.
La tabla de verdad de una proposicin compuesta P = P(p1, p2, p3, ,pn)
enumera todas las posibles combinaciones de los valores de verdad para p1, p2,
,pn.
En estos momentos ya se est en condiciones de elaborar cualquier tabla de
verdad. A continuacin se presenta un ejemplo para la proposicin
jemplo
[(p q) (q r) (r q).
q p q
( q r ) (p q) ( q r) r q [(p q) ( q r) (r q)
El nmero de lneas de la tabla de verdad depende del nmero de variables

de la expresin y se puede calcular por medio de la siguiente formula.
No de lneas = 2n Donde n = nmero de variables distintas.
Es importante destacar a medida que se avanza en el contenido del

material el alumno deber participar activamente. Estos significa que cuando se
esta definiendo proposiciones y caractersticas propias de ellas, adems de los
ejemplos que el maestro explique, el alumno deber citar proposiciones diferentes,
deber entender el porque un enunciado no es vlido. Cuando se ven conectores
lgicos, los alumnos debern saber emplearlos en la representacin de
proposiciones ms complejas. Pero algo muy importante, es que los ejemplo que
el maestro y los alumnos encuentren en la clase, deben ser de inters para el
estudiante. Cuando se ven tablas de verdad el alumno deber saber
perfectamente bien el porque de cada uno de los resultados. En pocas palabras el
conocimiento deber ser significativo.
Ejercicio:
Realiza la tabla de verdad para las siguientes proposiciones.
1.- p q r
2.- (p V q) V ( p
3.- p V ( p V r )
q)
1.- Son los que se suponen ciertos.

a) Axiomas
b) Definiciones
c) Trminos
d) Argumentos
e) Predicado
2.- El enunciado: dados 2 puntos distintos, existe una recta nica que los contiene. Es :
_______________
a) Axioma
b) Teorema
c) Postulado
d) Trmino no definido
e) Lema
3.- Identifica la proposicin compuesta que da por resultado la tabla:
a) (p q) (q r)
b) p (q V r)
c) (p q) (q r)
d) (p q) V (q r)
e) (p q) (q V r)
1.5. Induccin Matemtica

Utilizar induccin matemtica para realizar demostraciones

Emplear los pasos del mtodo inductivo para determinar frmulas as
como sus demostraciones.
Conocer el trmino de recursividad.
Enlazar los conceptos con la Materia de Programacin y de lenguajes y
Autmatas como elementos previos para la construccin de cadenas.
1.5.1 Principio de Induccin Matemtica

Es un mtodo de demostracin que se utiliza cuando se trata de establecer
la veracidad de una lista infinita de proposiciones.
El mtodo puede usarse en una variedad de situaciones en la ciencia de la
computacin. Se utiliza frecuentemente para demostrar que un programa de
computacin o que un algoritmo con ciclos funciona como se espera.
Primer principio de induccin matemtica.

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 condicin que
() p(1) sea verdadera
(I) p (n + 1) es verdadera siempre que p (n) lo sea nos referimos a (), es decir
al hecho de p(1) es verdadera, como la base de la induccin . Nos referimos a
(I) como el paso inductivo en la notacin del calculo proposicional (I) equivale
decir que:
p (n)
n+1
(3R-2) = 1/2(3n2-n)
La n-sima proposicin p(n) es verdadera
jemplo
(3R-2) = 1/2(3n2-n)
() p(1) = 1 = 1/2[3(1)2-1)]
(I) p(n+1)
de aqui que 1=1.
n+1 (3R-2) = 1/2[3 (n+1)2-(n+1)]
Utilizando p (n) tenemos que
n+1
(3k-2) =
(3k-2)+[3(k+1)-2]
(3k-k)+[3(k+1)]
1/2(3k2-k)+(3k+1) = 1/2 [3(n+1)2-(n+1)]

1/2 3k2 - 1/2 k + 3k + 1
1/2 3k2 + 5/2 k + 1
3k2 + 5 k + 2
(3k-2)(k + 1)
[3(k + 1) - 1](k + 1)
3(k + 1)2 - (k + 1)
1/2[3(k + 1)2 - (k + 1)] .....
Lo que queda demostrado
Ejercicio:
Menciona tres reas las que consideres que se puede aplicar los conceptos de
Induccin
Encuentra ejemplos de aplicaciones de induccin.
1.5.2 Pasos de la Induccin Matemtica
Supngase que se tiene una proposicin s(n) para cada entero positivo (n) la cual
es verdadera o falsa. Se tiene dos pasos que conducen el mtodo inductivo:
Paso Bsico:
S (1) es verdadera.
Paso Inductivo.
Si S(i) es verdadera para todo i< n+1,
S(n+1) es verdadera. De modo que s(n) es verdadera para todo entero positivo n.
n+1
jemplo
Sea s(n) la suma de los n primeros nmeros enteros positivos: s(n) =

1+2+3+4++n se afirma que sn = n(n+1) verificar si se cumple el principio para
todos los casos.
Paso Bsico:
S(1) = 1(1+1) /2 = 1
S(1) = 1
Paso Inductivo:
S(n+1) = (n+1) (n+1+1) /2 = (n+1) (n+2) /2
Comprobacin
S(n+1) = (n(n+1) /2 )+ (n+1)
s(n+1) = (n (n-1) + 2 (n+1)) / 2
S(n+1) = (n2 +n + 2n + 2 ) / 2 = (n2 + 3n + 2) / 2 = ((n+1) (n+2) ) /2
Ejercicio:
1.- Empleese induccin para probar que el factorial cumple n! > 2n+1 para n=
1+2+3++n;
2.- Verifique usando induccin que se cumple la siguiente ecuacin 1+ 3 + 5 +
+ 2n-1 = n2
1.- Es la verificacin de la expresin 1 + 3 + 5 + + 2n -1 = n (Aplicando la induccin

matemtica).
a) Paso bsico: 1 = 1 Paso inductivo: Supngase verdadera para n. 1 + . . . + (2n 1 ) + ( 2n + 1 ) = n + 2n + 1 = ( n + 1 )
b) Paso bsico: 3 = n+1 Paso inductivo: supngase que es verdadera para n + 1 1+ + n+ (n + 1)= 2 n
c) Paso bsico: 1 = 1 Paso inductivo: supngase que es verdadera para n + 1 1+ + n + (n + 1)= 2 n
d) Paso bsico: 1 + 3 + 5 = 9 Paso inductivo: Supngase verdadera para n. 1 + . . . + (2n 1 ) + ( 2n + 1 ) = n + 2n + 1 = ( n + 1 )
e) Paso bsico: 2n -1 = n Paso inductivo: Supngase verdadera para n. 1 + . . . + (2n 1 ) + ( 2n + 1 ) = n + 2n + 1 = ( n + 1 )
2.- Usando induccin determina cual es el nmero que sigue en la serie: 2,6, 9, 27, 30, ..
a) 90
b) 39
c) 45
d) 60
e) 33
3.- Supngase que se tiene una proposicin S (n) para cada entero positivo n, la cual es
verdadera o falsa. Es llamado paso inductivo de la induccin matemtica a la siguiente
expresin:
a) Se considera que: si S (i) es verdadera para todo i < n+1 , entonces s( n + 1 ) es verdadera.
b) S (n) es verdadera para todo entero positivo n.
c) Se considera que S (1) es verdadera.
d) S (n) es verdadera para cualquier nmero positivo o negativo.
e) Se considera que S (n) es verdadera.
1.6. Inferencia y Evaluacin de Expresiones

Utilizar las reglas de inferencia como herramienta para determinar el

resultado de un argumento.
Evaluar expresiones determinando prioridades
Establecer las bases para la prioridad de expresiones.
Conocer las reglas de inferencia y sus utilidad.
1.6.1 Reglas de Inferencia

INFERENCIA: De premisas verdaderas se obtienen slo conclusiones verdaderas.
NOTA:
Cada regla de inferencia tiene su origen en una implicacin lgica. En

algunos casos la implicacin lgica se establece sin demostracin.
Regla
Nombre
Modus Ponens
pq
q
pq
Ley del silogismo
qr
pr
pq
q
p
p
Modus Tollens
Regla de la Conjuncin
q
pq
pVq
p
Regla
del
silogismo
Disyuntivo
q
p F
Regla de la contradiccin
p
pq
p
p
Regla de la simplificacin
Conjuntiva
Regla de la simplificacin
pVq
Disyuntiva
pq
p (q r)
r
Regla de
Condicional
la demostracin
p r
Regla de la demostracin
qr
por casos
(pVq)r
pq
Regla
rs
constructivo
del
dilema
pV r
qVs
pq
Regla del dilema destructivo
r s
q__V___
r
p Vr
jemplos
1. REGLA DEL MODUS PONENDO PONENS

Es una regla de inferencia que permite demostrar q a partir de p q y p.
PREMISA
1) Si Pedro est en el partido de Ftbol, entonces Pedro

est en el estadio.
PREMISA
2) Pedro est en el partido de Ftbol.

___________________________________________________
CONCLUSIN: Pedro Est en el estadio.
Simblicamente tenemos lo siguiente:
p: Pedro est en el partido de ftbol

q: Pedro est en el estadio
Entonces:
PREMISA
PREMISA
1) p q
2) p
__________
CONCLUSIN:
q
Esta regla permite pasar de dos premisas a la conclusin, se dice que la

conclusin es una consecuencia lgica de las premisas, es decir siempre que las
premisas son ciertas, la conclusin es tambin verdadera.
La misma regla se aplica tanto si el antecedente y el consecuente son
proposiciones atmicas o moleculares.
jemplo
a) r s
r
________________
b) p
p q
__________________
c) p q r
p q
________________
d) p q r
p
________________
q r
Cuando el MODUS PONENDO PONENS o cualquier otra regla se aplica para

sacar una conclusin de dos o ms proposiciones, el orden de las proposiciones
es indiferente.
La abreviatura para esta regla es MP.
2) DOBLE NEGACIN.
Es una regla que permite pasar de una premisa nica a la conclusin. Un
ejemplo simple es el de una negacin de la negacin que se denomina << Doble
negacin >>.
Sea la proposicin:
No ocurre que Ana no es un estudiante.
De donde se puede sacar la conclusin: Ana es estudiante.
La regla tambin acta en sentido contrario. Por ejemplo: de la proposicin se

puede concluir la negacin de su negacin:
Juan toma el autobs par ir a la escuela.

__________________________________________
No ocurre que Juan no toma el autobs para ir a la escuela
As esta regla tiene dos formas simblicas:
(p)
(p)
(p)
(p)
La abreviatura para esta regla es DN.
3) MODUS TOLLENDO TOLLENS
La regla de Inferencia que se aplica tambin a las proposiciones condicionales,

pero en este caso, negando ( tollendo ) el consecuente, se puede negar (tollens )
el antecedente de la condicional.
jemplo
La deduccin siguiente es un ejemplo del uso de esta regla:
PREMISA 1)
Si tiene luz propia, entonces el astro es una estrella .
PREMISA 2)
El astro no es una estrella.
Conclusin:
Por lo tanto no tiene luz propia.
Simbolizando:
p : Tiene luz propia
q : El astro es una estrella.
PREMISA 1)
pq
PREMISA 2)
q
_______________________
Conclusin:
p
Cuando se trata de proposiciones moleculares puede usarse el parntesis para
mayor claridad.
La abreviatura para esta regla es TT.
4) Regla de ADJUNCION Y SIMPLIFICACIN.

Se suponen dadas dos proposiciones como premisas. La primera es
Jorge es adulto
La segunda es:
Mara es adolescente.
Si ambas proposiciones son verdaderas, entonces se podran juntar en una
proposicin molecular utilizando el trmino de enlace << y >> y se tendra una
proposicin verdadera que se leera:
Jorge es adulto y mara es adolescente.

La regla que permite pasar de las dos premisas a la conclusin se denomina regla
de ADJUNCION.
La abreviatura para esta regla es A.

De manera simblica se puede ilustrar la regla as :
PREMISA 1) p
PREMISA 2) q
_____________________
Conclusin 1) p q
Conclusin 2) q p
El orden de las premisas es indiferente.
Ahora veamos la REGLA DE SIMPLIFICACIN

Si se tiene una premisa que dice:
El cumpleaos de Mara es el lunes y el mo es el sbado.
De esta premisa se pueden concluir:
El cumpleaos de Mara es el viernes.

La otra conclusin:
El mo es el sbado.
Si la premisa es cierta, cada una de las conclusiones es tambin cierta.
Esta regla se abrevia por S.
En forma simblica la regla de simplificacin es:
p q
De la premisa p q
_______________
Se concluye:
p
O se concluye: q
5) REGLA DE MODUS TOLLENDO PONENS
Esta regla dice que negando (tollendo) un miembro de una disyuncin, se afirma
(Ponens) el otro miembro.
Simblicamente tenemos:
De la premisa
p v q
Y de la premisa
p
_______________
se concluye
q
O tambin
De la premisa
Y de la premisa
pv q
q
________________
se puede concluir
p
La abreviatura para esta regla es : TP.
Los argumentos basados en tautologas representan mtodos de

razonamiento universalmente correctos. Su validez depende solamente de la
forma de las proposiciones que intervienen y no de los valores de verdad de las
variables que contienen. A esos argumentos se les llama reglas de inferencia. Las
reglas de inferencia permiten relacionar dos o ms tautologas o hiptesis en una
demostracin.
Ejemplo 1
Es valido el siguiente argumento?.
Si usted invierte en el mercado de valores, entonces se har rico.
Si se hace usted rico, entonces ser feliz.
____________________________________________________
Si usted invierte en el mercado de valores, entonces ser feliz.
Sea:
p: Usted invierte en el mercado de valores.
q: Se har rico.
r: Ser feliz
De tal manera que el enunciado anterior se puede representar con notacin lgica
de la siguiente manera:
pq
qr
______
pr
Ejemplo 2.
Es valido el siguiente argumento?.
Si bajan los impuestos, entonces se eleva el ingreso
El ingreso se eleva.
_________________________________________
Los impuestos bajan
Solucin:
Sea
p: Los impuestos bajan.
q: El ingreso se eleva.
pq
q
_____
p
El aplicar la regla de inferencia es lo que le cuesta ms al alumno y se deber

poner mucha atencin para que el alumno aprenda a aplicar dicha regla.
En una demostracin no solamente hay tautologas e hiptesis, tambin existen
reglas de inferencia que permiten obtener nuevas lneas vlidas, esta es la parte
en donde la mayora de alumnos tienen problemas y en donde no sabe que regla

aplicar para resolver un determinado problema
Ejercicio:
Determina de los siguiente argumentos cuales reglas de inferencia se aplican y

cual es el resultado del argumento.
1.- Ligia gana 10 millones de dlares en la lotera.
Si lidia gana 10 millones de dlares en la lotera entonces Jos renunciar a su

trabajo.
Por lo tanto: ____________________________________
2.- Si el entero 35, 244 es divisible entre 396, entonces el entero 35,244 es
divisible entre 66
Si el entero 35, 244 es divisible entre 66, entonces el entero 35, 244 es divisible
entre 3
Por lo tanto: __________________________________________
3.- Si Alejandra se va de paseo a Pars entonces tendr que ganarse una beca
Alejandra se va de paseo a Pars.
Por lo tanto: _________________________________________
4.- Rita esta horneando un pastel
Si Rita esta horneando un pastel, entonces no est practicando la flauta.
Si Rita no est practicando la flauta, entonces su padre no pagar el seguro.
Por lo tanto: _________________________________________
5.- Si Juan juega Basket entonces ser un gran deportista
Si Juan trabaja entonces ahorrar para ir de vacaciones.
Juan juega bsquet o estudia Ingls
Por lo tanto: __________________________________________
1.6.2 Evaluacin de expresiones

Las expresiones son secuencias de constantes y/o variables separadas por
operadores vlidos.
Se puede construir una expresin vlida por medio de :
1. Una sola constante o variable, la cual puede estar precedida por un signo +
-.
2. Una secuencia de trminos (constantes, variables, funciones) separados
por operadores.
Adems debe considerarse que:
Toda variable utilizada en una expresin debe tener un valor almacenado
para que la expresin, al ser evaluada, d como resultado un valor.
Cualquier constante o variable puede ser reemplazada por una llamada a
una funcin.
Como en las expresiones matemticas, una expresin en Pascal se evala
de acuerdo a la precedencia de operadores. La siguiente tabla muestra la
precedencia de los operadores:
Precedencia de operadores
5 - (Menos unario)
4 Not
3 * / div mod and shl shr
2 + - or xor
1 = <> > < >= <=
Las reglas de evaluacin para las expresiones son:

1. Si todos los operadores en una expresin tienen la misma precedencia, la
evaluacin de las operaciones se realiza de izquierda a derecha.
2. Cuando los operadores sean de diferentes precedencias, se evalan
primero las operaciones de ms alta precedencia (en una base de izquierda
a derecha ), luego se evalan las de precedencia siguiente, y as
sucesivamente.
3. Las reglas 1) y 2) pueden ser anuladas por la inclusin de parntesis en
una expresin.
1.
jemplo
3 + 2*5
{*,+}
4 + 10 =14
2.
20*4 div 5
{Igual prioridad de izquierda a derecha: *,div}

3.
80
div 5 = 16
3 - 5 * (20+(6/2))
3 - 5 * (20+(6/2)) = 3 - 5 * (20 + 3)
{parntesis ms interno}
= 3 - 5 * 23 {segundo parntesis}
= 3 - 115 {Multiplicacin}
= -112 {resta}
Jerarqua de operadores
El orden general de evaluacin de los operadores de una expresin va de
izquierda a derecha, con la excepcin de las asignaciones que lo hacen de
derecha a izquierda.
Podemos seguir las siguientes tres reglas de evaluacin de expresiones:

(Regla 1) En todas las expresiones se evalan primero las expresiones de
los parntesis ms anidados (interiores unos a otros); y stos modifican la
prioridad segn la cantidad de stos, los cuales tienen que estar balanceados ( el
mismo nmero de parntesis que abren debe ser igual al nmero de los
parntesis que cierran).
(Regla 2) Todas las expresiones se evalan tomando en cuenta la jerarqua
de los operadores.
(Regla 3) Todas las expresiones se evalan de izquierda a derecha.
La tabla que se muestra abajo, da el orden de precedencia del operador en

Java segn el nivel que indica la primera columna de la izquierda. Los operadores
agrupados en bloques comparten la misma jerarqua. Los operadores que se
muestran a en lo alto de la tabla tienen mayor precedencia que los del fondo y, por
tanto, sern evaluados antes que los de precedencia ms baja.
NivelOperador
Descripcin
Subndice
[]
de
array
Utilizado
Ejemplo
a[i]
para
acceder
a
a.b
y
mtodos
variables
Utilizado
para
(parntesis)agrupar
(a+b)
expresiones
expr++
Pos-incremento a++
Tipo
operador
Sufijo
de
expr--
Pos-decrementoa--
++expr
Pre-incremento ++a
--expr
Pre-decremento --a
+expr
Unitario mas
+a
-expr
Negacin
-a
Cortesa
~a
NOT
!a
New
Creacin
new
Clasname()
Unitario
Creacin
(parn)exp. Casta
(Classname)aForma
Multiplicacin
a*b
Divisin
a/b
Modulo
a%b
Adicin
a+b
Substraccin
a-b
<<
>>
Desplazamiento
a la izquierda
Desplazamiento
a la derecha
a<<b
Multiplicador
Aditivo
Desplazamiento
a>>b
Desplazamiento
<<<
con relleno de
a<<<b
ceros
a
la
derecha
<
Menor que
a<b
>
Mayor que
a>b
<=
Menor o igual
a<=b
que
>=
Mayor o iguala>=b
Relacional
que
Comprueba
una
si
variable
es una instancia
instanceof
de
la
claseinstanceof
especificada
o
Classname
cualquier
subclase
de
aquella clase
8
9
10
11
==
Igual
a==b
!=
No igual
a!=b
&
AND bit a bit
a&b
XOR
exclusivo
bit a bit
a^b
Igualdad
AND bit a bit

XOR
exclusivo
bit a bit
OR inclusivo bit
a|b
a bit
OR inclusivo bit
12
&&
AND lgico
a&&b
AND lgico
13
||
OR lgico
a||b
OR lgico
14
a bit
Forma
?:
taquigrfica dea?b:c
Condicional
una sentencia if
15
=
*=
/=
%=
Asignacin
simple
Multiplicar
asignar
a=b
y
a*=b
Dividir y asignar a/=b

Mdulo
asignar
y
a%=b
Asignacin
+=
-=
Sumar y asignara+=b
Substraer
asignar
a-=b
&=
AND y asignar a&=b
|=
OR y asignar
^=
XOR y asignar a^=b
a|=b
Desplazar a la
<<=
izquierda
ya<<=b
asignar
Desplazar a la
>>=
derecha
ya>>=b
asignar
Desplazar a la
derecha
>>>=
rellenando
con
ceros
a>>>=b
y
asignar
Ejercicio:
1.- Evala si el resultado de las siguientes expresiones es correcto. Si es
incorrecta escribe de nuevo la expresin de manera que concuerde con el
resultado.
a) (1* 3) +5 /4 = 2
b) 3 + (5*8) /2 + (3-2) = 24
c) 4 * (2/3) + 6 = 32 / 3
1.- Es una regla que se aplica en la evaluacin de expresiones:

a)
Si todos los operadores en una expresin tienen la misma precedencia, la evaluacin de las operaciones se realiza de
izquierda a derecha
b) Si todos los operadores en una expresin tienen la misma precedencia, no se puede realizar la evaluacin
c) Los parntesis no influyen en la evaluacin de expresiones
d) Los parntesis se utilizan solo cuando es una divisin.
e) Cuando los operadores sean de diferente procedencia se evalan como sea.
2.- Si todos los operadores en una expresin tienen la misma precedencia, la evaluacin de
las operaciones se realiza de _______________________
a) izquierda a derecha.
b) derecha a izquierda
c) primero las sumas
d) primero las multiplicaciones
e) Primero las restas
3.- Es el resultado de la siguiente operacin (((4-1)+(2*1))*(10))
a) 50
b) 5
c) 60
d) 15
e) 27
1.7. Tautologa y Contradicciones

Utilizar la demostracin directa o condicional y la demostracin por

contradiccin para probar que los Argumentos son correctos Utilizando los
teoremas, axiomas, trminos y trminos no definidos.
Conocer el concepto de Tautologa y Contradiccin
Identificar si una expresin tiene tautologa o contradiccin
Introduccin
Tautologa y contradiccin.
Tautologa, es aquella proposicin (compuesta) que es cierta para todos los
valores de verdad de sus variables. Un ejemplo tpico es la contrapositiva cuya
tabla de verdad se indica a continuacin.
p
p q
(p q)
Se debe tomar en cuenta para estos ejemplos que el smbolo
NOTA:
implica negacin o not.
Note que en las tautologas para todos los valores de verdad el resultado de
la proposicin es siempre 1. Las tautologas son muy importantes en lgica
matemtica ya que se consideran leyes en las cuales nos podemos apoyar para
realizar demostraciones.
A continuacin se cita una lista de las tautologas ms conocidas y reglas
de inferencia de mayor uso en las demostraciones formales:
1.- Doble negacin.
a). p''p
2.- Leyes conmutativas.

a). (pq)(qp)
b). (pq)(qp)
c). (pq)(qp)
3.- Leyes asociativas.
a). [(pq)r][p(qr)]
b. [(pq)r][p(qr)]
4.- Leyes distributivas.
a). [p(qr)][(pq)(pr)]
b. [p(qr)][(pq)(pr)]
5.- Leyes de idempotencia.
a). (pp)p
b). (pp)p
6.- Leyes de Morgan
a). (pq)'(p'q')
b). (pq)'(p'q')
c). (pq)(p'q')'
b). (pq)(p'q')'
7.- Contrapositiva.
a). (pq)(q'p')
8.- Implicacin.
a). (pq)(p'q)
b). (pq)(pq')'
c). (pq)(p'q)
d). (pq)(pq')'
e). [(pr)(qr)][(pq)r]
f). [(pq)(pr)][p(qr)]
9.- Equivalencia
a). (pq)[(pq)(qp)]
10.- Adicin.
a). p(pq)
11.- Simplificacin.
a). (pq)p
12.- Absurdo
a). (p0)p'
13.- Modus ponens.

a). [p(pq)]q
14.- Modus tollens.
a). [(pq)q']p'
15.- Transitividad del
a). [(pq)(qr)](pr)
16.- Transitividad del
a). [(pq)(qr)](pr)
17.- Mas implicaciones lgicas.
a). (pq)[(pr)(qs)]
b). (pq)[(pr)(qs)]
c). (pq)[(qr)(pr)]
18.- Dilemas constructivos.
a). [(pq)(rs)][(pr)(qs)]
b). [(pq)(rs)][(pr)(qs)]
Contradiccin es aquella proposicin que siempre es falsa para todos los

valores de verdad, una de las mas usadas y mas sencilla es p p . Como lo
muestra su correspondiente tabla de verdad.
p
F
Si en el ejemplo anterior
p: La puerta es verde.
La proposicin p p equivale a decir que "La puerta es verde y la puerta no es
verde". Por lo tanto se esta contradiciendo o se dice que es una falacia.
Una proposicin compuesta cuyos resultados en sus deferentes lneas de la tabla
de verdad, dan como resultado T y F se le llama contingente.
1.7.1 Equivalencias lgicas y utilizaciones
Se dice que dos proposiciones son lgicamente equivalentes,
simplemente equivalentes. Si coinciden sus resultados para los mismos valores de

verdad. Se indican como p q.
Considero que un buen ejemplo es el que se estableci para ilustrar la
tautologa en donde se puede observar que las columnas de (p q) y
para los mismo valores de verdad, por lo tanto se puede establecer que
La proposicin compuesta P = (p1,p2,p3, ., pn) y Q = (q1, q2, q3, . qn)

son lgicamente equivalentes siempre que dados cuales quiera valores de verdad
a P y Q son ambas verdaderas o ambas falsas y se simboliza por:
jemplo
La primera Ley de Morgan:
p q
T T F
T F F
F T T
F F T
Implicacin Tautolgica
Es una proposicin compuesta en la que permite unir dos proposiciones

usando una condicin si antecedente entonces consecuente.
Por ejemplo: Si tengo Dinero entonces podr comprar una paleta.

La proposicin P =P( p1,p2,p3, ,pn) implica lgicamente la proposicin
compuesta Q = Q (q1, q2, q3, ., qn), en smbolos P Q siempre que dados
cualesquiera valores de verdad p1,p2,p3,.,pn si P es verdadera Q tambin lo
es.
Hay que mencionar que esto se cumple precisamente cuando es

NOTA:
una tautologa.
Ejercicio:
Elige utilizando tablas de verdad la correspondencia que existe entre las
proposiciones compuestas.
1.- P = p; Q = p Vq
2.3.4.-
1.7.2 Demostracin condicional y directa

Una demostracin directa se realiza suponiendo que p es verdadera y despus
usando p, axiomas, definiciones y teoremas establecidos con anterioridad, prueba
directamente que q es verdadera.
jemplo
Demuestra empleando una prueba directa que si x es un nmero
real, entonces X * 0 = 0, suponga los siguientes teoremas verificados con

anterioridad.
Si a,b,c son R, entonces b+0 = b y a(b+c) = ab + ac.
Si a + b = b + a entonces b = c
Solucin
X (0 + 0) = X * 0 + X * 0 entonces X * 0 = 0
Supngase que p q es una tautologa, en donde p y q pueden ser
proposiciones compuestas, en las que intervengan cualquier nmero de variables
propositivas, se dice que q se desprende lgicamente de p. Supngase una
implicacin de la forma.
(p1 p2 ....... pn) q
Es una tautologa. Entonces est implicacin es verdadera sin importar los
valores de verdad de cualquiera de sus componentes. En este caso, se dice que q
se desprende lgicamente de p1,p2,......,pn. Se escribe.
p1
p2
pn
___
q
Realmente el camino que se debe seguir para llevar a cabo una

demostracin formal usando el mtodo directo. Significa que s se sabe que p1 es
verdadera, p2 es verdadera,...... y pn tambin es verdadera, entonces se sabe que
q es verdadera.
Prcticamente todos los teoremas matemticos estn compuestos por
implicaciones de este tipo.
(p1 p2 ....... pn) q
Donde la pi son llamadas hiptesis o premisas, y q es llamada conclusin.
"Demostrar el teorema", es demostrar que la implicacin es una tautologa. Note
que no estamos tratando de demostrar que q (la conclusin) es verdadera, sino
solamente que q es verdadera si todas las pi son verdaderas.
Toda demostracin debe comenzar con las hiptesis, seguidas de las
tautologas y reglas de inferencia necesarias, hasta llegar a la conclusin.
A continuacin se prueba un enunciado en donde se puede apreciar el uso
tanto de las tautologas como de las reglas de inferencia.
Sean
p: Trabajo.
q: Ahorro.
r: Comprar una casa.
s: Podr guardar el coche en mi casa.

Analizar el siguiente argumento:
"Si trabajo o ahorro, entonces comprar una casa. Si compro una casa, entonces
podr guardar el coche en mi casa. Por consiguiente, si no puedo guardar el
coche en mi casa, entonces no ahorro".
El enunciado anterior se puede representar como:
p q r; y r s; entonces s' q'
Equivale tambin a probar el siguiente teorema:
[(p q) r] [r s] [s' q']
Como se trata de probar un teorema de la forma general:

p1 p2 ...... pn q
Se aplica el procedimiento general para demostracin de enunciados
vlidos. A continuacin se demuestra el teorema respaldando cada uno de sus
pasos en tautologas o reglas de inferencia ya conocidas.
El enunciado es vlido aunque la conclusin puede ser falsa o verdadera.
El ejemplo anterior es una demostracin sencilla, pero puede ser tan complicada
como sea necesario y el mtodo debe funcionar.
Ejercicio:
Presenta una prueba directa para los siguientes enunciados.

1.- Sean nmeros reales d, d1, d2 y x demostrar que se cumple que:
si d = min { d1, d2} y x < d entonces x < d1 y x < d2
Utilizando los teoremas siguientes:
Para toda trada de nmeros reales x, y, z se cumple que si x<y y y<z entonces
x<z.
1.7.3 Demostracin por contradiccin y por induccin

Una demostracin por contradiccin se realiza suponiendo que p es
verdadera y q es falsa y empleando p y q, axiomas, definiciones y teoremas
establecidos previamente, se deduce una contradiccin.
La nica diferencia entre la hiptesis en la demostracin directa y

NOTA:
la demostracin por contradiccin es la negacin de la
contradiccin.
jemplo
Pruebe presentado una prueba por contradiccin que si X * Y = 0, entonces X= 0 o

bien Y = 0. Suponga que si a, b y c son nmeros reales con a * b = a * c y a o,
entonces b = c;
Resolucin
XY = 0 entonces x 0 o bien Y 0;
Con X 0 entonces XY = X*0 = 0
Siendo a = X, b = Y, C = 0 ab= ac entonces XY = X * 0 con x 0 entonces
concluimos que Y = 0.
El procedimiento de la demostracin por contradiccin es semejante a la que se

realiz por el mtodo directo con la diferencia de que las lneas iniciales de dicha
demostracin no son nicamente las hiptesis, sino adems se incluye en la

demostracin una lnea con la negacin de la conclusin. Por otro lado el objetivo
de la demostracin es llegar a una contradiccin.
La demostracin del siguiente teorema por el mtodo de contradiccin es como se

indica
p (p r) (q s) t (p s) t
La forma en que el aprende a aplicar reglas de inferencia es semejante a la

manera en que deber realizar una factorizacin o una aplicacin de una frmula
en clculo diferencial o integral o la formula que debe aplicar para resolver un
problema en fsica. Lo que debe aprender es a relacionar los distintos
conocimientos para poder llegar a la solucin. Es importante mencionar que el
camino que debe seguir el alumno no es el mismo que el maestro sigui sino uno
distinto pero que ambos llegan al resultado.
Ejercicio:
Ofrece una prueba por contradiccin para el siguiente ejercicio.
Verifique, ofreciendo una prueba por contradiccin, que si 100 pelotas se colocan
en 9 cajas, alguna de estas contiene por lo menos nueve pelotas.
1.- La tabla de verdad para la proposicin que se presenta es una
____________________
a) Contradiccin
b) Equivalencia lgica
c) Tautologa
d) Conjuncin
e) Disyuncin
2.- Cuales son los elementos de los que se vale la prueba directa para demostrar que es
verdadera
a) Axiomas, teoremas
b) Libros y matemticas
c) Algebra y de los Teoremas
d) Axiomas y de las matemticas
e) cololarios y razonamientos
3.- Considerando la expresin si p entonces q. Una ________________ supone que es p
verdadera y q falsa; empleando p y q, axiomas, definiciones y teoremas establecidos con
anterioridad se deduce una contradiccin.
a) demostracin por contradiccin
b) proposicin bicondicional
c) Demostracin directa
d) proposicin condicional
e) implicacin lgica.
1.- p: Hay un premio Nobel de ciencias de Ciencias de la computacin. Es un ejemplo de:
a) Proposicin simple
b) Disyuncin
c) Tautologa
d) Proposicin compuesta
e) Negacin
2.- Determina cual es el resultado de la siguiente expresin
Algunos mamferos son animales herbvoros
Ningn animal herbvoro come carne
Luego__________
a) Algunos animales mamferos no comen carne
b) ningn animal mamfero come carne
c) Algunos animales mamferos no son herbvoros
d) todo animal que come carne es mamfero
e) los animales herbvoros no son mamferos
3.- ______________ permiten relacionar dos o ms tautologas o hiptesis en una
demostracin
a) reglas de inferencia
b) induccin matemtica
c) predicado
d) Variable
e) proposicin
4.- Es el nombre que recibe la siguiente regla de inferencia:
a) Ley del silogismo
b) modus ponens
c) modus tollens
d) Regla de la conjuncin
e) Regla de la disyuncin
5.- Es el nombre que recibe la siguiente regla de inferencia:
a) regla de la conjuncin
b) regla de la disyuncin
c) ley del silogismo
d) modus ponens
e) modus tollens
6.- La siguiente tabla define los valores de verdad de _______________.
a) proposicin bicondicional
b) disyuncin
c) conjuncin
d) proposicin condicional
e) contrarrecproca
7.- se utilizan para representar grficamente una proposicin, representa las clases
mediante crculos que se intersecan.
a) diagramas de Venn
b) diagramas Grant
c) digrafos
d) rboles
e) diagramas de Hasse
8.- Tipo de cuantificador que se tiene si afirman algo que se refiere a Todos los elementos
en el universo.
a) Cuantificador universal
b) Cuantificador universal
c) cuantificador nominal
d) cuantificador existencial
e) cuantificador no global
9.- En _____________________ las operaciones se hacen de derecha a izquierda
a) Asignacin
b) Comparacin
c) Sumas
d) Restas
e) Multiplicacin
10.- Dos proposiciones son _______________ cuando todos los valores de una son
exactamente igual a los valores de la otra.
a) Equivalentes
b) Contradiccin
c) Conjuncin
d) Tautologa
e) Induccin
BIBLIOGRAFIA.
http://mitecnologico.com/Main/ConceptoDeArgumentoYTiposDeProposicionesLogicas
http://www.cnice.mecd.es/eos/MaterialesEducativos/mem2003/logica/logica/01concbasicos/122idar
gum.html
http://html.rincondelvago.com/induccion-matematica.html
http://www.math.cl/
http://personales.ya.com/casanchi/mat/induccion01.htm
http://www.fcnym.unlp.edu.ar/catedras/logica/programa.pdf
Richard Johnsonbaugh
Mat emticas dicretas
Grupo Editorial Iberoamrica

Logr 29598

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Logr 29598

Caricato da

Copyright:

Formati disponibili

INSTITUTO TECNOLGICO SUPERIOR DE CALKIN

INGENIERA EN SISTEMAS COMPUTACIONALES

MATEMTICAS PARA COMPUTADORA

ISC. YAQUELINE PECH HUH

Este trabajo trata sobre Lgica Matemtica y Enseanza, especialmente

Una inquietud muy natural en un alumno interesado en un curso de lgica

proviene del hecho de que el alumno no tiene claro qu es demostrar, ni por qu

la memorizacin con el razonamiento correcto. Es

precisamente esa falta de espritu analtico lo que provoca un rechazo al anlisis

Con el objeto de subsanar todas las deficiencias antes mencionadas, lo

Proposiciones Simples y Compuestas

1.2 Conexiones Lgicas y Jerrquicas

1.3 Clculo de Predicados

1.4 Algebra declarativa

1.5 Induccin Matemtica

Induccin Matemtica (Conceptos)

Pasos de la Induccin Matemtica

1.7 Tautologa y Contradicciones

Demostracin por contradiccin

comprobar o determinar si una frmula se puede utilizar para

Conocer las reglas para la evaluacin de expresiones y

o Utilizar la demostracin directa o condicional y la demostracin

1.1. Argumentos y Tipos de Proposiciones

La lgica matemtica es la disciplina que trata de mtodos de

para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida

1.1.1 Concepto de Argumento

Un argumento es un conjunto finito y ordenado de afirmaciones de las cuales se

1.1.2 Proposiciones Simples y Proposiciones Compuestas

Una Proposicin Simple es una afirmacin como

p : 1 +1 = 3 para definir que p es la proposicin.

p y q son proposiciones, p es falsa y q es verdadera o falsa pero no

proposicin por que r es un mandato no es verdadera ni falsa.

Existen conectores u operadores lgicas que permiten formar proposiciones

Una Proposicin Compuesta es aquella que esta formada por dos o ms

Sea: p: La materia es muy Terica

I.- De las siguientes sentencias Identifica cuales son proposiciones y cuales no

1.- El enunciado lava el coche por favor? es un ejemplo de:

1.2. Conexiones Lgicas y Jerrquicas

Identificar aplicaciones de la proposicin Bicondicional dentro del esquema

De tal manera que la representacin del enunciado anterior usando simbologa

En la Conjuncin el resultado solo es verdadero cuando las

proposiciones que las componen ambas son verdaderas, en los

Con este operador se obtiene un resultado verdadero cuando alguna de las

Se llama Disyuncin a la proposicin p o q y se simboliza p V q

q: Tiene gasolina el tanque.

De tal manera que la representacin de los enunciado anteriores usando

Los valores de verdad para la proposicin compuesta p V q

representan en la siguiente tabla:

En la Disyuncin el resultado solo es Falso cuando las

proposiciones que las componen ambas son falsas en los casos

p: Sali electo Presidente de la Repblica.

q: Recibirn un 50% de aumento en su sueldo el prximo ao.

De tal manera que el enunciado se puede expresar de las siguiente manera.

Sali electo Presidente de la Repblica entonces Recibirn un 50% de aumento

La proposicin p se denomina hiptesis (o antecedente) y la proposicin q,

Si la hiptesis p es verdadera y la conclusin q es falsa entonces

la proposicin condicional es falsa. (NO se debe deducir una

La interpretacin de los resultados de la tabla es la siguiente:

Considere que se desea analizar si el candidato presidencial minti con la

recibieron un aumento de 50% en su sueldo, por lo tanto p q =T; significa que el

Para resolver los ejercicios debes saber que: Una condicin

necesaria es otro nombre para la conclusin; Una condicin

Los valores de verdad para la proposicin condicional p q se representan en