Unidad 1: Fundamentos de

Sesin presencial
1.1
Lgica

Proposiciones
Reglas de inferencia MP y SD

Reflexin!
Si apruebo el curso de
Matemtica, entonces mi
novia me invita una cena en
la Rosa Nutica. Sucede
que desaprob el curso. Mi
novia me invitar la cena
prometida?

Logro de la sesin
Al finalizar esta sesin, sers
capaz de analizar y construir un
argumento lgicamente vlido
aplicando
las
reglas
de
inferencia Modus Ponens (MP)
y Silogismo disyuntivo (SD), y
avalando tu respuesta sobre la
base del pensamiento crtico.

Proposicin
Es
Estodo
todoenunciado
enunciadoque
quepuede
puedeser
sercalificado
calificadocomo
como
verdadero
verdaderooofalso.
falso.
Ejemplos:
a. Usted habla ingls?

No

b. Prohibido fumar en lugares pblicos como ste.

No

c. El Huscar fue hundido el 12 de Octubre de 1879.

Si

d. A caballo regalado no se le mira el diente.

No

e. En un monopolio bilateral, la tasa salarial se Si

determina negociando.
f. El PBI creci 5,6% durante el periodo 20102011.

Si

Tipos de Proposiciones
Proposiciones Simples: Consta de un slo sujeto y un
slo predicado, adems carecen de operadores lgicos,
tales como: la negacin, la conjuncin, la disyuncin, la
condicional, etc.
Por ejemplo:
a. Mario Vargas Llosa es un escritor muy reconocido
a nivel internacional.
b. Un gran dficit gubernamental tiene un efecto
adverso en la economa.
c. Scrates y Platn fueron contemporneos.
d. 11 y 13 son nmeros primos entre s.
e. El costo de oportunidad es un precio relativo.

Proposiciones Compuestas: Formada por dos o ms

proposiciones simples unidas por operadores lgicos,
tales como: la negacin, la conjuncin, la disyuncin,
la condicional, etc.

Por ejemplo:
a. Mario Vargas Llosa naci en el Per o naci en
Espaa.
b. Cuando el ingreso futuro esperado aumenta,
entonces la demanda tambin aumenta.

Operadores lgicos
Operador

Termino Smbolo

NEGADOR

No

CONJUNCIN

Significado

Cambia el valor de verdad de

una proposicin simple

Indica que se deben dar las dos

proposiciones

DISYUNCIN
INCLUSIVA (Dbil)

Indica que se debe dar una de

ellas o ambas proposiciones a
la vez

CONDICIONAL

Si
entonces

Indica en las proposiciones una

relacin de causa - efecto

Sea p una proposicin simple y en afirmativo, entonces:

NEGACIN

No p.
Es falso que p.
Es absurdo que p.

DISYUNCIN
INCLUYENTE

poq
p a menos que q.
p salvo que q.

p q

p y q.
p pero q.
p sin embargo q.

pq

Si p entonces q.
p por lo tanto q
q si p.
q porque p.

pq

CONJUNCIN

CONDICIONAL

Formalizacin de proposiciones lgicas

Utilizaremos las letras p, q, r, para simbolizar a las
proposiciones lgicas simples y que estn en afirmativo.
Por ejemplo:
Proposiciones
Voy a estudiar matemticas.
No llueve esta noche.
Voy al cine o a la playa.
Apruebo el examen y voy a la fiesta.
Si voy al cine, entonces duermo tarde.

Formalizacin
p
p
pq
pq
pq

La negacin de proposiciones lgicas

Observemos el siguiente cuadro:
Proposiciones
Juan duplic sus ganancias.
Juan no duplic sus ganancias.
No es cierto que Juan no duplic sus ganancias.

Formalizacin
p
p
( p)

La ltima proposicin es la misma que la primera, es decir,

que Juan duplic sus ganancias. Por lo tanto, ( p) p
Adems, la negacin de una proposicin verdadera es falsa, y
la negacin de una proposicin falsa es verdadera.

Proposiciones compuestas equivalentes

1. p q q p
Por ejemplo:
Si voy al cine, entonces dormir tarde
Proposicin equivalente:
Si no duermo tarde entonces no fui al cine

Ejemplo 1:
Simbolice y redacte la proposicin equivalente a:
Cuando la reventa de una empresa es posible, la
empresa cobra un precio nico
Proposiciones simples:
p:
q:
Simbolizacin y equivalencia:
Proposicin equivalente:

Proposiciones compuestas equivalentes

2. (p q) p q

Por ejemplo:
No es cierto que Luis estudia y trabaja en la UPC
Proposicin equivalente:
Luis no estudia en la UPC o Luis no trabaja en la UPC

Ejemplo 2:
Simbolice y redacte la proposicin equivalente a:
No es cierto que el ingreso futuro esperado aumenta
y la demanda tambin aumenta
Proposiciones simples:
p:
q:
Simbolizacin y equivalencia:
Proposicin equivalente:

Proposiciones compuestas equivalentes:

3. (p q) p q

Por ejemplo:
No es cierto que Csar estudie ingls o estudie francs
Proposiciones equivalentes:
Csar no estudia ingls y no estudia francs.
Csar no estudia ingls ni estudia francs.

Ejemplo 3:
Simbolice y redacte la proposicin equivalente a:
No es cierto que Luis aprueba Matemtica o no
aprueba Habilidades Comunicativas
Proposiciones simples:
p:
q:
Simbolizacin y equivalencia:
Proposicin equivalente:

Inferencia lgica
Si los impuestos no
aumentan, entonces el poder
adquisitivo de las personas
no sufre cambios. Sucede
que los impuestos no
aumentan. Luego el poder
adquisitivo de las personas
no sufre cambios.
Es vlida sta conclusin?

Inferencia lgica
Una Inferencia lgica es una estructura de proposiciones
verdaderas llamadas premisas, en base a las cuales
inferimos otra proposicin llamada conclusin.

Reglas de inferencia
Son argumentos vlidos, tautolgicos, es decir, ya no se
necesita la demostracin de su validez. A continuacin
estudiamos las ms importantes:

Formalizacin en esquema Vertical

Expresar en un esquema vertical la siguiente proposicin:
Si apruebo el curso de Matemtica, entonces mi pareja
me invita una cena en la Rosa Nutica. Sucede que
desaprob el curso. Por lo tanto, mi pareja no me
invitar a cenar en la Rosa Nutica
Premisa 1: Si apruebo el curso de Matemtica Bsica,
entonces mi pareja me invita una cena en la Rosa
Nutica.
Premisa 2: Sucede que desaprob el curso.
Conclusin: Por lo tanto, mi pareja no me invitar a
cenar en la Rosa Nutica.

REGLA 1: MODUS PONENS (MP)

Premisas:
Conclusin:

P1: p q
P2: p
qq

Algunas variantes de sta regla son:

P1: p q
P2: p
q

P1: p q
P2: p
q

Por ejemplo, analicemos la validez de la siguiente

inferencia:
Si ahorro entonces progreso econmicamente. Sucede
que ahorro. Luego, progreso econmicamente.
Proposiciones
simples

p: Ahorro
q: Progreso econmicamente

Lenguaje simblico
de premisas en
esquema vertical:

P1: p q
P2: p
.
C: q

El argumento es vlido.

Ejemplo 4:
Analice la validez de la siguiente inferencia:
Si los impuestos no aumentan, entonces el poder
adquisitivo de las personas no sufre cambios. Sucede
que los impuestos no aumentan. Luego el poder
adquisitivo de las personas no sufre cambios.
Proposiciones
simples

p: .............................
q: .............................

Lenguaje simblico P1 : .......................

de premisas en
P2 :
.
esquema vertical:
C:
El argumento es:

REGLA 2: SILOGISMO DISYUNTIVO (SD)

Premisas:
Conclusin:

P1: p q

P1: p q

P2: p

P2: q

qq

pp

Algunas variantes de sta regla son:

P1: p q
P2: p
q

P1: p q
P2: p
q

Por ejemplo, analicemos la validez de la siguiente

inferencia:
Estudio Ingls o estudio francs. No estudio ingls.
Luego, estudio francs
p: Estudio ingls
Proposiciones
q: Estudio francs
simples
Lenguaje simblico P1: p q
de premisas en
P2: p
esquema vertical:
C: q
El argumento es vlido.

Ejemplo 5:
Analice la validez de la siguiente inferencia:
Suben el sueldo a los policas o los equipan con
unidades motorizadas nuevas. No los equipan con
unidades nuevas. Luego suben el sueldo a los policas
Proposiciones
simples

p: ..............................
q: ..............................

Lenguaje simblico P1: .......................

de premisas en P2:
.
esquema vertical: C:
Validez del argumento:

Ejercicio 1:
Analice la validez de la siguiente inferencia:
Vamos al cine o caminar por el malecn. Sucede que no
iremos a caminar por el malecn. Luego, iremos al cine
Proposiciones
simples

p: .............................
q: ..............................

Lenguaje simblico P1: .......................

de premisas en P2:
.
esquema vertical: C:
El argumento es:

Ejercicio 2:
Analice la validez de la siguiente inferencia:
Sube la gasolina o el dlar no se devala. Sucede que el
dlar se devala. Luego, sube la gasolina
Proposiciones
simples

p: .............................
q: ..............................

Lenguaje simblico P1: .......................

de premisas en P2:
.
esquema vertical: C:
El argumento es:

Ejercicio 3:
Construya la estructura de los siguientes argumentos y
llegue a una conclusin:
Si ganan el partido, se clasifican. Hoy ganaron el
partido. En consecuencia,
Proposiciones p: ..............................
simples
q: ..............................
Lenguaje simblico P1 : .......................
de premisas en P2 :
.
esquema vertical: C:
Redactar conclusin:

Ejercicio 4:
Construya la estructura de los siguientes argumentos y
llegue a una conclusin:
Si tengo dinero, entonces compro una bicicleta. No
tengo dinero. Por lo tanto,
Proposiciones p: ..............................
simples
q: ..............................
Lenguaje simblico P1 : .......................
de premisas en P2 :
.
esquema vertical: C:
Redactar conclusin:

Ejercicio 5:
Construya la estructura de los siguientes argumentos y
llegue a una conclusin:
Estudias lgica o no apruebas el examen. No aprobaste
el examen. Entonces,

Ejercicio 6:
Construya la estructura de los siguientes argumentos y
llegue a una conclusin:
La historia es una forma de conocimiento a menos que
sea una ficcin narrativa. Pero la historia no es una
ficcin narrativa. Por lo tanto,

Ejercicio 7:
Construya la estructura de los siguientes argumentos y
llegue a una conclusin:
Mi novia me invita una cena en la Rosa Nutica, si
apruebo el curso de Matemtica. Sucede que apruebo el
curso. Por lo tanto,

Ejercicio 8:
Construya la estructura de los siguientes argumentos y
llegue a una conclusin:
No es cierto que suba la cotizacin del dlar y que el
euro se mantenga estable. Sube la cotizacin del dlar.
Por lo tanto,

Conclusiones
Es importante que recuerden lo siguiente:
1. Identificar correctamente las
premisas y proposiciones simples
que las conforman.
2. Formular la estructura del
argumento (esquema vertical).
3. Comparar con las reglas de
inferencia dadas: un argumento
puede ser calificado como vlido
o no vlido.

Preguntas
Si tienes dudas sobre los temas,
consulte con el profesor del curso
mediante los medios (correo,
facebook, whatsApp, etc.)
proporcionados por l mismo.
Contina con las actividades
semanales propuestas en el
aula virtual:
Evaluacin Contnua
Tarea Acadmica

Bibliografa
CURO Agustn-MARTNEZ Mihaly, (2013)
Matemtica bsica para administradores
Temas: LGICA MATEMTICA Lima: UPC.
Fondo Editorial
IRVING COPI,INTRODUCCIN A LA
LGICACAVELL, Stanley (2012) La bondad
del cine, pp. 2850. En: revista Hueso
Hmero, vol. 1 No. 50.